Aguilera-Ventura, C.; Ben-Naim, J.; Herzig, A. Minimal Change in Modal Logic S5. AAAI 2025, 39, 14781-14789.