A. Cropper and C. Hocquette, “Learning Logic Programs by Discovering Where Not to Search”, AAAI, vol. 37, no. 5, pp. 6289-6296, Jun. 2023.