Learning higher-order logic programs. - Cropper, Andrew; Morel, Rolf; Muggleton, Stephen (Machine Learning, 2020)