\bib{1974/collins}
\yr 1974
\by George E. Collins
\paper Quantifier elimination for real closed fields by cylindrical algebraic decomposition: preliminary report
\jour SIGSAM Bulletin
\issn 0163--5825
\vol 8
\pages 80--90
\endref