Dolzmann, A., & Sturm, T. (1996). REDLOG: Computer algebra meets computer logic.
Chicago-Zitierstil (17. Ausg.)Dolzmann, Andreas, und Thomas Sturm. REDLOG: Computer Algebra Meets Computer Logic. Passau, 1996.
MLA-Zitierstil (9. Ausg.)Dolzmann, Andreas, und Thomas Sturm. REDLOG: Computer Algebra Meets Computer Logic. 1996.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.