Dolzmann, A., & Weispfenning, V. (2000). Local quantifier elimination.
Chicago-Zitierstil (17. Ausg.)Dolzmann, Andreas, und Volker Weispfenning. Local Quantifier Elimination. Passau, 2000.
MLA-Zitierstil (9. Ausg.)Dolzmann, Andreas, und Volker Weispfenning. Local Quantifier Elimination. 2000.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.