@InCollection{SeidlSturm:03a,
  author = 	 {Seidl, Andreas and Sturm, Thomas},
  title = 	 {A Generic Projection Operator for Partial
                  Cylindrical Algebraic Decomposition},
  booktitle = 	 {Proceedings of the 2003 International Symposium on
                  Symbolic and Algebraic Computation (ISSAC 03),
                  Philadelphia, Pennsylvania},
  pages =	 {240-247},
  publisher =	 {ACM Press},
  year =	 2003,
  editor =	 {Rafael Sendra},
  address =	 {New York, NY},
  annote =	 {ISBN:1-58113-641-2}
}