M. Liu, D. M. Cerna, F. Gouveia, and A. Cropper, “Scalable Knowledge Refactoring Using Constrained Optimisation”, AAAI, vol. 39, no. 14, pp. 15049-15057, Apr. 2025.