1. A. Aggoun and N. Beldiceanu. Overview of the CHIP Compiler System. In Constraint Logic Programming: Selected Research, A. Colmerauer and F. Benhamou (Eds.). MIT Press, 1993.
2. B. Carlson, M. Carlsson and S. Janson. Finite Domain Constraints in AKL(FD). In Proceedings of ILPS 94, MIT Press, 1994.
3. C. Codognet and P. Codognet. Non-deterministic Stream AND-Parallelism based on Intelligent Backtracking. In Proceedings of 6th ICLP, Lisbon, 1989. The MIT Press.
4. P. Codognet and D. Diaz. Compiling Constraints in clp(FD). Journal of Logic Programming, vol. 27(3), 1996.
5. P. Codognet, F. Fages and T. Sola. A meta-level compiler for CLP(FD) and its combination with intelligent backtracking. In Constraint Logic Programming: Selected Research, A. Colmerauer, F. Benhamou (Eds.), MIT Press, 1993.