Quanti®er elimination for real closed ®elds by cylindrical algebraic decomposition (1975)

by G E Collins
Venue:In GI Conference on Automata Theory and Formal Languages, LNCS