Cropper, Andrew, Rolf Morel, and Stephen H. Muggleton. 2020. “Learning Higher-Order Programs through Predicate Invention”. Proceedings of the AAAI Conference on Artificial Intelligence 34 (09):13655-58. https://doi.org/10.1609/aaai.v34i09.7113.