Norgėla, Stasys. 1999. “Some Decidable Classes of Modal Logic S5”. Lietuvos Matematikos Rinkinys 39 (III): 322–325. https://doi.org/10.15388/LMD.1999.35643.