1. S. Abdennadher, Operational semantics and confluence of constraint propagation rules, in: Third International Conference on Principles and Practice of Constraint Programming (CP'97), Linz, Austria, Lecture Notes in Computer Science, vol. 1330, Springer, Berlin, 1997, pp. 252–265
2. S. Abdennadher, Analyse von regelbasierten Constraintlösern (in German), Ph.D. Thesis, Dept. of Computer Science, LMU Munich
3. The Constraint Programming Working Group, ACM-MIT SDRC Workshop, Report Outline, Draft, September 1996
4. A. Aiba et al., Constraint logic programming language CAL, in: International Conference on Fifth Generation Computer Systems, Ohmsha Publishers, Tokyo, 1988, pp. 263–276
5. Login: A logic programming language with built-in inheritance;Ait-Kaci;J. Logic Programming,1986