A. Cropper, “Learning Logic Programs Though Divide, Constrain, and Conquer”, AAAI, vol. 36, no. 6, pp. 6446-6453, Jun. 2022.