editors. Quantifier Elimination and Cylindrical Algebraic Decomposition (1998)

by B F Caviness, J R Johnson