@phdthesis{Dolzmann2000, author = {Andreas Dolzmann}, title = {Algorithmic strategies for applicable real quantifier elimination}, school = {Universit{\"a}t Passau}, year = {2000}, }