Micha Meier: Debugging Constraint Programs. CP 1995: 204-221