@doctoralThesis{Müller_1998,
title={Set based failure diagnosis for concurrent constraint programming},
author={Müller, Martin Ludwig},
doi={http://dx.doi.org/10.22028/D291-25722},
year={1998}
}