Nicolas Helft: Inductive Generalization: A Logical Framework. EWSL 1987: 149-157