Fermé, E. L.; Herzig, A.; Martinez, M. V. On the Logic of Theory Base Change: Reformulation of Belief Bases. AAAI 2025, 39, 14922-14929.