George E. Collins H. Hong Partial Cylindrical Algebraic Decomposition for Quantifier Elimination. 299-328 1991 12 J. Symb. Comput. 3 db/journals/jsc/jsc12.html#CollinsH91