Cropper, A.; Morel, R.; Muggleton, S. H. Learning Higher-Order Programs through Predicate Invention. AAAI 2020, 34, 13655-13658.