@doctoralThesis{Müller_2001,
title={Constraint propagation in Mozart},
author={Müller, Tobias},
doi={http://dx.doi.org/10.22028/D291-25719},
year={2001}
}