Simultaneous Quantifier Elimination<pre>@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},
}
</pre>