@InProceedings{Seidl:04,
  author = 	 {Andreas Seidl},
  title = 	 {Extending Real Quantifier Elimination by Cylindrical Algebraic Decomposition to Get Answers},
  booktitle =	 {Computer Algebra in Scientific Computing},
  pages =	 {423-431},
  year =	 2004,
  editor =	 {V. G. Ganzha and E. W. Mayr and E. V. Vorozhtsov},
  address =	 {St.~Petersburg, Russia},
  month =	 {jul}
}