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