Changbo Chen, Marc Moreno Maza. Quantifier elimination by cylindrical algebraic decomposition based on regular chains. In Katsusuke Nabeshima, Kosaku Nagasaka, Franz Winkler, Ágnes Szántó, editors, International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014. pages 91-98, ACM, 2014. [doi]
Abstract is missing.