de Oliveira Oliveira, Mateus, and Wim Van Den Broeck. “Symbolic Functional Decomposition: A Reconfiguration Approach”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 39, no. 2, Apr. 2025, pp. 1283-90, doi:10.1609/aaai.v39i2.32117.