CLP (Intervals) Revisited with F. Benhamon and Pascal Van Hentenryck, International Conference on Logic Programming (ICLP), 1994.

The following paper is the most sophisticated version of the methods in this series of papers but was never published.

Three Cuts for Accelerated Interval Propagation with Pascal Van Hentenryck and Deepak Kapur, unpublished manuscript, 1995

Solving Polynomial Systems using a Branch and Prune Approach with Pascal Van Hentenryck and Deepak Kapur, Siam Journal on Numerical Analysis, 1997.