Generalization under implication by λ-subsumption
1998 ◽
pp. 215-224