Simultaneous Quantifier Elimination

@inproceedings{pub1552,
    author = {

Autexier, Serge
 and 

Mantel, Heiko
 and 

Stephan, Werner
},
    editor = {

Herzog, O.
 and 

Günter, A.
},
    title = {Simultaneous Quantifier Elimination},
    booktitle = {KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence. German Conference on Artificial Intelligence (KI), Bremen},
    year = {1998},
    address = {Bremen, Germany},
    publisher = {Springer Verlag, LNCS 1504}
}