Ratschan, Stefan Programming Logics, MPI for Informatics, Max Planck Society;
Ratschan, S. (2006). Efficient Solving of Quantified Inequality Constraints over the Real Numbers. ACM Transactions on Computational Logic, 7, 723-748.