Parallel Quantifier Elimination

Hoon Hong, Richard Liska, Nicolas Robidoux & Stanly Steinberg