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