Meier. Debugging Constraint Programs. Springer Berlin Heidelberg, 1995, doi:10.1007/3-540-60299-2_13.