Simultaneous Quantifier Elimination
@inproceedings{AuMaSt-98-a, author = {Autexier, S. and Mantel, H. and Stephan, W.}, editor = {Herzog, O. and G\"unter, A}, booktitle = {KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany}, title = {Simultaneous Quantifier Elimination}, volume = {1504}, series = {LNAI}, publisher = {Springer}, pages = {141-152}, month = {september}, year = {1998}, }