Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
Sturm, T., & Tiwari, A. (2011). Verification and Synthesis Using Real Quantifier Elimination. In A. Leykin (Ed.), ISSAC 2011 (pp. 329-336). New York, NY: ACM. doi:10.1145/1993886.1993935.