1. K.R. Apt. A proof theoretic view of constraint programming.Fundamenta Informaticae, 33(3):263–293, 1998.
2. K.R. Apt. Prom chaotic iteration to constraint propagation. In Proceedings of the 24th International Colloquium on Automata, Languages, and Programming (ICALP’97), 1997.
3. Frédéric Benhamou, Pascal Bouvier, Alain Colmerauer, Henri Garetta, Bruno Giletta, Jean-Luc Massat, Guy Alain Narboni, Stéphane N’Dong, Robert Pasero, Jean-François Pique, Touraïvane, Michel Van Caneghem, Eric Vétillard. Le manuel de Prolog IV. Technical report, PrologIA, Parc Tech- nologique de Luminy, Marseille, France, 1996.
4. Frédéric Benhamou, William J. Older. Applying interval arithmetic to real, integer, and Boolean constraints. Journal of Logic Programming, 32:1–24, 1997.
5. BNR. BNR Prolog user guide and reference manual. Version 3.1 for Macintosh, 1988.