1. G. Alefeld and J. Herzberger. Introduction to Interval Computations. Academic Press, 1983.
2. P. Barth and A. Bockmayr. Finite domain and cutting plane techniques in CLP $$\left( {\mathcal{P}\mathcal{B}} \right)$$ . In L. Sterling, editor, Proceedings of ICLP'95, pages 133–147, Kanagawa, Japan, 1995. MIT Press.
3. F. Benhamou. Interval Constraint Logic Programming. In A. Podelski, editor, Constraint Programming: Basics and Trends, volume 910 of LNCS, pages 1–21. Springer-Verlag, 1995.
4. F. Benhamou, D. McAllester, and P. Van Hentenryck. CLP(Intervals) Revisited. In Proceedings of ILPS'94, pages 124–138, Ithaca, NY, USA, 1994.
5. F. Benhamou and W. J. Older. Applying Interval Arithmetic to Real, Integer and Boolean Constraints. Journal of Logic Programming, 1996. forthcoming.