Scott McCallum On propagation of equational constraints in CAD-based quantifier elimination. 223-231 2001 ISSAC http://doi.acm.org/10.1145/384101.384132 db/conf/issac/issac2001.html#McCallum01