@InProceedings{SeidlSturm:03c, author = {Andreas Seidl and Thomas Sturm}, title = {Boolean Quantification in a First-Order Context}, booktitle = {Computer Algebra in Scientific Computing}, pages = {329-345}, year = 2003, editor = {V. G. Ganzha and E. W. Mayr and E. V. Vorozhtsov}, address = {Passau, Germany}, month = {sep} }