Norgėla, S. 2001. Some decidable classes of formulas of modal logic S4. Lietuvos matematikos rinkinys. 41, spec. (Dec. 2001), 408–412. DOI:https://doi.org/10.15388/LMR.2001.34621.