1. W.W. Bledsoe. The Sup-Inf Method in Presburger Arithmetic. Technical Report Memo ATP-18, University of Texas at Austin, Texas, December (1974).
2. P. Boizumault, Y. Delon, L. Péridy. Solving a Real-life Planning Exams Problem using Constraint Logic Programming. In Constraint Processing — Proc. of the Int. WS at CSAM'93 (M. Meyer ed.), DFKI Research Report 93-39, pp.106–112, August (1993).
3. A. Bundy. A Generalized Interval Package and Its Use for Semantic Checking. ACM Trans. on Math. Software, 10(4), pp. 397–409, (1984).
4. CHIP User's Guide. Version 4.0. COSYTEC SA, June, France (1993).
5. A. Colmerauer. An Introduction to Prolog III. ACM Comm., 33(7), pp. 70–90, July (1990).