"Towards Inductive Generalization in Higher Order Logic."

Cao Feng, Stephen Muggleton (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics