Some generalization heuristics in proofs by induction (1975)

by R Aubin