Deransart, Pierre and 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.