@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}
}