The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming - Correct System Design: Recent Insights and Advances - page 108

16. J.-F. Puget and M. Leconte. Beyond the glass box: Constraints as objects. In
Proc. of the 1995 International Symposium on Logic Programming , pages 513{527,
1995.
17. J.-C. Regin. A ltering algorithm for constraints of dierence in CSPs. In AAAI-
94: Proceedings of the 12th National Conference on Articial Intelligence , pages
362{367, 1994.
18. I. Shvetsov, V. Telerman, and D. Ushakov. NeMo+ : Object-oriented constraint
programming environment based on subdenite models. In G. Smolka, editor,
Articial Intelligence and Symbolic Mathematical Computations , Lecture Notes in
Computer Science, vol. 1330, pages 534{548, Berlin, 1997. Springer-Verlag.
19. P. Van Hentenryck, Helmut Simonis, and Mehmet Dincbas. Constraint satisfaction
using constraint logic programming. Articial Intelligence , 58:113{159, 1992.