Dennis S. Arnon, Scott McCallum. Cylindrical Algebraic Decomposition by Quantifier Elimination. In Jacques Calmet, editor, Computer Algebra, EUROCAM 82, European Computer Algebra Conference, Marseille, France, 5-7 April, 1982, Proceedings. Volume 144 of Lecture Notes in Computer Science, pages 215-222, Springer, 1982.
Abstract is missing.