APA (7th ed.) Citation

Sonntag, I., & Denzinger, J. (1993). Extending automatic theorem proving by planning. Fachbereich Informatik, Univ. Kaiserslautern.

Chicago Style (17th ed.) Citation

Sonntag, Inger, and Jörg Denzinger. Extending Automatic Theorem Proving by Planning. Kaiserslautern: Fachbereich Informatik, Univ. Kaiserslautern, 1993.

MLA (9th ed.) Citation

Sonntag, Inger, and Jörg Denzinger. Extending Automatic Theorem Proving by Planning. Fachbereich Informatik, Univ. Kaiserslautern, 1993.

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