APA (7th ed.) Citation

Denzinger, J., & Kronenburg, M. (1994). Planning for distributed theorem proving: The team work approach. Fachbereich Informatik, Univ. Kaiserslautern.

Chicago Style (17th ed.) Citation

Denzinger, Jörg, and Martin Kronenburg. Planning for Distributed Theorem Proving: The Team Work Approach. Kaiserslautern: Fachbereich Informatik, Univ. Kaiserslautern, 1994.

MLA (9th ed.) Citation

Denzinger, Jörg, and Martin Kronenburg. Planning for Distributed Theorem Proving: The Team Work Approach. Fachbereich Informatik, Univ. Kaiserslautern, 1994.