George E. Collins. Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In H. Barkhage, editor, Automata Theory and Formal Languages, 2nd GI Conference, Kaiserslautern, May 20-23, 1975. Volume 33 of Lecture Notes in Computer Science, pages 134-183, Springer, 1975.
Abstract is missing.