Combining symbolic constraint solvers on algebraic domains (1994)

by H Kirchner, C Ringeissen
Venue:J. Symb. Comput