Cropper, A.; Hocquette, C. Learning Logic Programs by Discovering Where Not to Search. AAAI 2023, 37, 6289-6296.