Exploiting Constraint Dependency Information For Debugging and Explanation. - Walid T. Kerrouz; Glenn A. Kramer; Jahir Pabon (PPCP, 1993)