Adam W. Strzebonski. Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas. In Joris van der Hoeven, Mark van Hoeij, editors, International Symposium on Symbolic and Algebraic Computation, ISSAC'12, Grenoble, France - July 22 - 25, 2012. pages 335-342, ACM, 2012. [doi]