Analysis and Visualization Tools for Constraint Programming : Constraint Debugging - Pierre Deransart, Manuel V. Hermenegildo, Jan Ma.uszynski ((Lecture Notes in Computer Science))