Norgėla, Stanislovas. “Some Decidable Classes of Formulas of Modal Logic S4”. Lietuvos matematikos rinkinys 41, no. spec. (December 17, 2001): 408–412. Accessed May 17, 2024. https://www.journals.vu.lt/LMR/article/view/34621.