Wolf, A., & Fuchs, M. (1997). Cooperative parallel automated theorem proving.
Chicago-Zitierstil (17. Ausg.)Wolf, Andreas, und Marc Fuchs. Cooperative Parallel Automated Theorem Proving. München, 1997.
MLA-Zitierstil (9. Ausg.)Wolf, Andreas, und Marc Fuchs. Cooperative Parallel Automated Theorem Proving. 1997.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.