1. Lect Notes Comput Sci;F. Bueno,2001
2. P. Codognet and D. Diaz.Boolean constrain solving using clp(FD). In Procs. of ILPS’1993, pages 525–539. MIT Press,1993.
3. Lect Notes Comput Sci;B. Demoen,1999
4. A.J. Fernüandez and B.C. Ruiz Jiménez. Una semántica operacional para CProlog. In Proceedings of II Jornadas de Informática, pages 21–30, 1996.
5. T. Frühwirth. CHR home page.
http://www.informatik.uni-muenchen.de/~fruehwir/chr/
.