Norgėla, S. Some Decidable Classes of Modal Logic S5. LMR 1999, 39 (III), 322–325. https://doi.org/10.15388/LMD.1999.35643.