"Learning Higher-Order Programs through Predicate Invention."

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