1. Banatre, J.-P., Coutant, A., Le Metayer, D.: A Parallel Machine for Multiset Transformation and its Programming Style. Future Generation Computer Systems 4, 133–144 (1988)
2. Benhamou, F., Older, W.J.: Bell Northern Research, Applying interval arithmetic to Integer and Boolean constraints, Technical Report (June 1992)
3. Brisset, P., et al.: ECLiPSe 4.0 User Manual, IC-Parc at Imperial College, London (July 1998)
4. Carlsson, M., Widen, J.: Sicstus Prolog Users Manual, Release 3#0, Swedish Institute of Computer Science, SICS/R-88/88007C (1995)
5. Diaz, D., Codognet, P.: A Minimal Extension of the WAM for clp(FD). In: Warren, D.S. (ed.) Proceedings of the Tenth International Conference on Logic Programming, pp. 774–790. The MIT Press, Budapest (1993)