1. H. Aït-Kaci. Warren's Abstract Machine, A Tutorial Reconstruction. Logic Programming Series, MIT Press, Cambridge, MA, 1991.
2. H. Bennaceur and G. Plateau. FASTLI: An Exact Algorithm for the Constraint Satisfaction Problem: Application to Logical Inference. Research Report, LIPN, Universite Paris-Nord, Paris, France, 1991.
3. H. Bennaceur and G. Plateau. Logical Inference Problem in Variables 0/1. in IFORS 93 Conference, Lisboa, Portugal, 1993.
4. P. Codognet and D. Diaz. Boolean Constraint Solving Using clp(FD). In International Logic Programming Symposium, Vancouver, British Columbia, Canada, MIT Press 1993.
5. P. Codognet and D. Diaz. Compiling Constraint in clp(FD). draft, 1993.