APA (7th ed.) Citation

Wolf, A., & Fuchs, M. (1997). Cooperative parallel automated theorem proving.

Chicago Style (17th ed.) Citation

Wolf, Andreas, and Marc Fuchs. Cooperative Parallel Automated Theorem Proving. München, 1997.

MLA (9th ed.) Citation

Wolf, Andreas, and Marc Fuchs. Cooperative Parallel Automated Theorem Proving. 1997.

Warning: These citations may not always be 100% accurate.