1. Langevine, L.: Codeine, a Propagation Tracer for GNU-Prolog (2004),
http://contraintes.inria.fr/~langevin/codeine
2. Lecture Notes in Computer Science;L. Langevine,2003
3. Jussien, N., Barichard, V.: The PaLM system: explanation-based constraint programming. In: Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, a post-conference workshop of CP 2000, Singapore, pp. 118–133 (2000), Available at
http://www.emn.fr/jussien/publications/jussien-WCP00.pdf
4. COSYTEC: CHIP++ V5.6, alpha version (2004),
http://www.cosytec.com
5. Debruyne, R., Ferrand, G., Jussien, N., Lesaint, W., Ouis, S., Tessier, A.: Correctness of constraint retraction algorithms. In: FLAIRS 2003: Sixteenth International Florida Artificial Intelligence Research Society Conference, St. Augustine, Florida, USA, pp. 172–176. AAAI press, Menlo Park (2003)