Deransart, Pierre, Hermenegildo, Manuel V. and Maluszynski, Jan  (2000).  Debugging of constraint programs: The DiSCiPl methodology and tools.    In:  "Analysis and Visualization Tools for Constraint Programming".   Lecture Notes in Computer Science  (1870).  Springer Berlin Heidelberg, pp. 1-20.  ISBN 9783540411376.    https://doi.org/10.1007/10722311_1 <https://doi.org/10.1007/10722311_1>.