"Learning Higher-Order Logic Programs through Abstraction and Invention."

Andrew Cropper, Stephen H. Muggleton (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics