@TechReport{SeidlSturm:03, author = {Seidl, Andreas and Sturm, Thomas}, title = {A Generic Projection Operator for Partial Cylindrical Algebraic Decomposition}, institution = {FMI, Universit\"at Passau}, year = 2003, type = {Technical Report}, number = {MIP-0301}, address = {D-94030 Passau, Germany}, month = jan }