Generating Corrective Explanations for Interactive Constraint Satisfaction
B. O’Callaghan, B. O’Sullivan, and E. Freuder. Principles and Practice of Constraint Programming - CP 2005, volume 3709 of Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, (2005)