1. A. Aggoun and N. Beldiceanu. Overview of the CHIP Compiler System. Constraint Logic Programming: Selected Research, A. Colmerauer and F. Benhamou (Eds.). MIT Press, 1993.
2. Krysztof R. Apt. The essence of Constraint Propagation. CWI Quarterly vol.11(2 & 3), pp. 215–248, 1998.
3. C. Bessière. Arc-consistency and Arc-consistency again. Artificial Intelligence, 65(1), 1994.
4. S. Bistarelli, U. Montanari and F. Rossi. Constraint Solving over Semirings. Proceedings of IJCAI’95, Morgan Kaufman, 1995.
5. S. Bistarelli, U. Montanari and F. Rossi. Semiring-based Constraint Solving and Optimization. Journal of ACM, vol. 44,no. 2, March 1997.