Norgėla, S. (1999). Some decidable classes of modal logic S5. Lietuvos Matematikos Rinkinys, 39(III), 322–325. https://doi.org/10.15388/LMD.1999.35643