Cite
MLA Citation
Changbo Chen and Marc Moreno Maza. “Quantifier elimination by cylindrical algebraic decomposition based on regular chains.” Journal of symbolic computation, vol. 75, 2016, pp. 74–93. http://access.bl.uk/ark:/81055/vdc_100069072690.0x00000d