A. Cropper, D. M. Cerna, and M. Järvisalo, “Symmetry Breaking for Inductive Logic Programming”, AAAI, vol. 40, no. 23, pp. 19012–19020, Mar. 2026.