Cropper, A., Morel, R., & Muggleton, S. H. (2020). Learning Higher-Order Programs through Predicate Invention. Proceedings of the AAAI Conference on Artificial Intelligence, 34(09), 13655-13658. https://doi.org/10.1609/aaai.v34i09.7113