Reuter, Jochen Automation of Logic, MPI for Informatics, Max Planck Society;
Reuter, J. (2013). Real Linear Quantifier Elimination. Master Thesis, Universität des Saarlandes, Saarbrücken.