Hirokazu Anai. Effective quantifier elimination for industrial applications. In Katsusuke Nabeshima, Kosaku Nagasaka, Franz Winkler, Ágnes Szántó, editors, International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014. pages 18-19, ACM, 2014. [doi]