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