Dennis S. Arnon Maurice Mignotte On Mechanical Quantifier Elimination for Elementary Algebra and Geometry. 237-259 1988 5 J. Symb. Comput. 1/2 db/journals/jsc/jsc5.html#ArnonM88a