NORGĖLA, S. Rezoliucijų metodas vienai modalumo logikos S4 klasei. Lietuvos matematikos rinkinys, v. 44, n. spec., p. 521–524, 17 gruodž.2004.