Bounded Least General Generalization
Efficient Induction Of Logic Programs