Dolzmann, A., & Sturm, T. (1995). Simplification of quantifier free formulas over ordered fields.
Chicago-Zitierstil (17. Ausg.)Dolzmann, Andreas, und Thomas Sturm. Simplification of Quantifier Free Formulas over Ordered Fields. Passau, 1995.
MLA-Zitierstil (9. Ausg.)Dolzmann, Andreas, und Thomas Sturm. Simplification of Quantifier Free Formulas over Ordered Fields. 1995.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.