Dolzmann, A., Gloor, A., & Sturm, T. (1998). Approaches to parallel quantifier elimination.
Chicago-Zitierstil (17. Ausg.)Dolzmann, Andreas, Andreas Gloor, und Thomas Sturm. Approaches to Parallel Quantifier Elimination. Passau, 1998.
MLA-Zitierstil (9. Ausg.)Dolzmann, Andreas, et al. Approaches to Parallel Quantifier Elimination. 1998.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.