1. B. Carlson, M. Carlsson and S. Janson. Finite Domain Constraints in AKL(FD). Proc. ILPS'94, MIT Press, 1994.
2. P. Codognet and D. Diaz. Compiling Constraints in clp(FD). JLP, 1996.
3. P. Codognet, F. Fages and T. Sola. A meta-level compiler for CLP(FD) and its combination with 113. In CLP: Selected Research, A. Colmerauer, F. Benhamou (Eds.), MIT Press, 1993.
4. P. Codognet and F. Rossi. NMCC Programming: Constraint Enforcement and Retraction in CC Programming. Proc. ICLP'95, MIT Press, 1995.
5. P. Codognet, D. Diaz and F. Rossi. Constraint Retraction in FD. 16th Conf. on. Foundations of Software Technology and Theoretical Computer Science, Springer-Verlag, LNCS 1116, 1996.