@InProceedings{	  autexier.ea:simultaneous-quantifier-elimination:1998,
  address	= {Bremen, Germany},
  author	= {Serge Autexier and Heiko Mantel and Werner Stephan},
  booktitle	= {Proceedings of the 22nd German Conference on Artificial
		  Intelligence (KI)},
  editor	= {Otthein Herzog and Andreas G\"unter},
  month		= {September},
  pages		= {141--152},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/1998/1998KI.PDF},
  ps		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/1998/1998KI.PS.zip},
  publisher	= {Springer},
  series	= {LNAI 1504},
  title		= {{Simultaneous Quantifier Elimination}},
  year		= 1998
}