Quantifier elimination for real closed fields by cylindrical algebraic decomposition (1975)

by G E Collins
Venue:In Automata Theory and Formal Languages