1. S. Basu, R. Pollack, and M.-F. Roy. On the combinatorial and algebraic complexity of quantifier elimination. In S. Goldwasser, editor, Proceedings fo the 35th Annual Symposium on Foundations of Computer Science, pages 632–641, Los Alamitos, CA, USA, 1994. IEEE Computer Society Press.
2. Lect Notes Comput Sci;F. Benhamou,1995
3. Lect Notes Comput Sci;F. Benhamou,2000
4. F. Benhamou, F. Goualard, L. Granvilliers, and J. F. Puget. Revising hull and box consistency. In Int. Conf. on Logic Programming, pages 230–244, 1999.
5. F. Benhamou, D. McAllester, and P. V. Hentenryck. CLP (Intervals) Revisited. In International Symposium on Logic Programming, pages 124–138, Ithaca, NY, USA, 1994. MIT Press.