Fermé, E. L., Herzig, A., & Martinez, M. V. (2025). On the Logic of Theory Base Change: Reformulation of Belief Bases. Proceedings of the AAAI Conference on Artificial Intelligence, 39(14), 14922–14929. https://doi.org/10.1609/aaai.v39i14.33636