D.: Solving polynomial systems using a branch and prune approach (1997)

by P Van Hentenryck, D McAllister, Kapur
Venue:SIAM, Journal of Numerical Analysis