Efficient Preprocessing Methods for Quantifier Elimination. - Christopher W. Brown 001; Christian Gross 003 (CASC, 2006)