Cropper, A. “Learning Logic Programs Though Divide, Constrain, and Conquer”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 36, no. 6, June 2022, pp. 6446-53, doi:10.1609/aaai.v36i6.20596.