Adam W. Strzebonski. Computation with semialgebraic sets represented by cylindrical algebraic formulas. In Wolfram Koepf, editor, Symbolic and Algebraic Computation, International Symposium, ISSAC 2010, Munich, Germany, July 25-28, 2010, Proceedings. pages 61-68, ACM, 2010. [doi]
Abstract is missing.