APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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

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