NORGĖLA, S. Resolution method for some class of formulas of modal logic S4. Lietuvos matematikos rinkinys, v. 44, n. spec., p. 521–524, 17 Dec.2004.