Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski, editors, Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project). Volume 1870 of Lecture Notes in Computer Science, Springer, 2000.
Conference: discipl2000