Felipe Cucker. On the Complexity of Quantifier Elimination: the Structural Approach. Comput. J., 36(5):400-408, 1993.
@article{Cucker93, title = {On the Complexity of Quantifier Elimination: the Structural Approach}, author = {Felipe Cucker}, year = {1993}, tags = {systematic-approach}, researchr = {https://researchr.org/publication/Cucker93}, cites = {0}, citedby = {0}, journal = {Comput. J.}, volume = {36}, number = {5}, pages = {400-408}, }