Scott McCallum On Projection in CAD-Based Quantifier Elimination with Equational Constraint. 145-149 1999 ISSAC http://doi.acm.org/10.1145/309831.309892 db/conf/issac/issac99.html#McCallum99