Cropper, A. Learning Logic Programs Though Divide, Constrain, and Conquer. AAAI 2022, 36, 6446-6453.