Nicolas Helft Inductive Generalization: A Logical Framework. 149-157 1987 EWSL db/conf/ecml/ewsl87.html#Helft87