1. Alefeld G., Herzberger J.: Introduction to Interval Computations. Academic Press, New York (1983)
2. Benhamou, F., Older, W.J.: Applying interval arithmetic to real, integer and boolean constraints. J. Log. Programm, pp. 32–81, 1997. Extension of a Technical Report of Bell Northern Research, Canada (1992)
3. Benhamou, F., Older, W.J.: Applying interval arithmetic to real, integer and boolean constraints. Technical Report BNR, Technical Report, Bell Northern Research, ON, Canada (1992)
4. Benhamou, F., McAllester, D., Van Hentenryck, P.: CLP(Intervals) revisited. In: Proceedings of the International Logic Programming Symposium, pp. 109–123 (1994)
5. Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.-F.: Revising hull and box consistency. In: Proceedings of the International Conference on Logic Programming (ICLP’99), pp. 230–244. Las Cruces, USA (1999)