Avenhaus, J., & Denzinger, J. (1993). Distributing equational theorem proving. Univ., Fachbereich Informatik.
Chicago-Zitierstil (17. Ausg.)Avenhaus, Jürgen, und Jörg Denzinger. Distributing Equational Theorem Proving. Kaiserslautern: Univ., Fachbereich Informatik, 1993.
MLA-Zitierstil (9. Ausg.)Avenhaus, Jürgen, und Jörg Denzinger. Distributing Equational Theorem Proving. Univ., Fachbereich Informatik, 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.