Norgėla, S. (2004) “Resolution method for some class of formulas of modal logic S4”, Lietuvos matematikos rinkinys, 44(spec.), pp. 521–524. doi:10.15388/LMR.2004.32028.