A. Cropper, R. Morel, and S. H. Muggleton, “Learning Higher-Order Programs through Predicate Invention”, AAAI, vol. 34, no. 09, pp. 13655-13658, Apr. 2020.