1. A. Aiba, K. Sakai, Y. Sato, D.J. Hawley, R. Hasegawa, Constraint logic programming language CAL, in: Proceedings of the 2nd. International Conference on Fifth Generation Computer Systems, vol. 1, 1988, pp. 263–276
2. On the desirability of acyclic database schemes;Beeri;Journal of the ACM,1983
3. Introducing global constraints in CHIP;Beldiceanu;Mathematical Computer Modelling,1994
4. F. Benhamou, D.A. McAllester, P. Van Hentenryck, CLP (Intervals) revisited, in: International Symposium on Logic Programming, 1994, pp. 124–138
5. F. Benhamou, J.-L. Massat, Boolean pseudo-equations in constraint logic programming, in: Proc. 10th International Conference on Logic Programming, 1993, pp. 517–531