Dolzmann, A., Sturm, T., & Weispfenning, V. (1997). Real quantifier elimination in practice.
Chicago-Zitierstil (17. Ausg.)Dolzmann, Andreas, Thomas Sturm, und Volker Weispfenning. Real Quantifier Elimination in Practice. Passau, 1997.
MLA-Zitierstil (9. Ausg.)Dolzmann, Andreas, et al. Real Quantifier Elimination in Practice. 1997.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.