C. Aguilera-Ventura, J. Ben-Naim, and A. Herzig, “Minimal Change in Modal Logic S5”, AAAI, vol. 39, no. 14, pp. 14781–14789, Apr. 2025.