APA-Zitierstil (7. Ausg.)

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.