Weispfenning, V. (1993). A new approach to quantifier elimination for real algebra.
Chicago-Zitierstil (17. Ausg.)Weispfenning, Volker. A New Approach to Quantifier Elimination for Real Algebra. Passau, 1993.
MLA-Zitierstil (9. Ausg.)Weispfenning, Volker. A New Approach to Quantifier Elimination for Real Algebra. 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.