Parallel Quantifier Elimination
Hoon Hong
RISC Linz, Austria
hhong@risc.uni-linz.ac.at
Richard Liska
Czech Technical University, Czech Republic
liska@siduri.fjfi.cvut.cz
Nicolas Robidoux
Albuquerque, New Mexico, USA
mia@math.unm.edu
Stanly Steinberg
University of New Mexico, USA
stanly@math.unm.edu