S. Norgėla, “Some decidable classes of modal logic S5”, LMR, vol. 39, no. III, pp. 322–325, Dec. 1999, doi: 10.15388/LMD.1999.35643.