Changbo Chen, Marc Moreno Maza. Quantifier elimination by cylindrical algebraic decomposition based on regular chains. Journal of Symbolic Computation, 75:74-93, 2016. [doi]
@article{ChenM16-2, title = {Quantifier elimination by cylindrical algebraic decomposition based on regular chains}, author = {Changbo Chen and Marc Moreno Maza}, year = {2016}, doi = {10.1016/j.jsc.2015.11.008}, url = {http://dx.doi.org/10.1016/j.jsc.2015.11.008}, researchr = {https://researchr.org/publication/ChenM16-2}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Computation}, volume = {75}, pages = {74-93}, }