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

by G E Collins
Venue:Proc. 2nd GI Conference on Automata Theory and Formal Languages, Lecture Notes in Computer Science