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