Analysis and Visualization Tools for Constraint Programming Constraint Debugging - Deransart, Pierre; Deransart, Pierre; Hermenegildo, M.V; Hermenegildo, M.V; Maluszynski, J.; Maluszynski, J. (Springer Berlin Heidelberg : Imprint: Springer, 2000)