NORGĖLA, S. Some decidable classes of formulas of modal logic S4. Lietuvos matematikos rinkinys, v. 41, n. spec., p. 408–412, 17 Dec.2001.