APA (7th ed.) Citation

Hummel, B. (1987). An investigation of formula generalization heuristics for induction proofs.

Chicago Style (17th ed.) Citation

Hummel, Birgit. An Investigation of Formula Generalization Heuristics for Induction Proofs. Karlsruhe, 1987.

MLA (9th ed.) Citation

Hummel, Birgit. An Investigation of Formula Generalization Heuristics for Induction Proofs. 1987.

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