1. Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.-F.: Revising Hull and Box Consistency. In: Proc. ICLP, pp. 230–244 (1999)
2. Brown, D.P.: Calculus and Mathematica. Addison Wesley, Reading (1991)
3. Buchberger, B.: Gröbner Bases: an Algorithmic Method in Polynomial Ideal Theory. Multidimensional Systems Theory, 184–232 (1985)
4. Lecture Notes in Artificial Intelligence;M. Ceberio,2002
5. Chabert, G. (2008), http://ibex-lib.org