Andreas Dolzmann Oliver Gloor Thomas Sturm Approaches to Parallel Quantifier Elimination. 88-95 1998 ISSAC http://doi.acm.org/10.1145/281508.281564 db/conf/issac/issac98.html#DolzmannGS98