Christopher W. Brown, Christian Gross. Efficient Preprocessing Methods for Quantifier Elimination. In Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing, 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings. Volume 4194 of Lecture Notes in Computer Science, pages 89-100, Springer, 2006. [doi]
Abstract is missing.