APA (7th ed.) Citation

Hutter, D. (1986). Using resolution and paramodulation for induction proofs. Inst. für Informatik.

Chicago Style (17th ed.) Citation

Hutter, Dieter. Using Resolution and Paramodulation for Induction Proofs. Karlsruhe: Inst. für Informatik, 1986.

MLA (9th ed.) Citation

Hutter, Dieter. Using Resolution and Paramodulation for Induction Proofs. Inst. für Informatik, 1986.

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