An investigation of formula generalization heuristics for induction proofs - Hummel, Birgit (1987)