Tobias Müller: Constraint propagation in Mozart. Saarland University, Saarbrücken, Germany 2001, 1-209