Liu M, Cerna DM, Gouveia F, Cropper A. Scalable Knowledge Refactoring Using Constrained Optimisation. AAAI [Internet]. 2025Apr.11 [cited 2026May2];39(14):15049-57. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/33650