Generalization under Implication by lambda-Subsumption.

Zdravko Markov

Browse the full ILP paper archive.