Hoon Hong, Mohab Safey El Din. Variant quantifier elimination. Journal of Symbolic Computation, 47(7):883-901, 2012. [doi]
@article{HongD12, title = {Variant quantifier elimination}, author = {Hoon Hong and Mohab Safey El Din}, year = {2012}, doi = {10.1016/j.jsc.2011.05.014}, url = {http://dx.doi.org/10.1016/j.jsc.2011.05.014}, researchr = {https://researchr.org/publication/HongD12}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Computation}, volume = {47}, number = {7}, pages = {883-901}, }