An Efficient Subsumption Algorithm for Inductive Logic Programming. - Jörg-Uwe Kietz; Marcus Lübbe (ICML, 1994)