Košta, M. (2016). New Concepts for Real Quantifier Elimination by Virtual Substitution. PhD Thesis, Universität des Saarlandes, Saarbrücken.