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