NORGĖLA, S. Vienos modalumo logikos S4 klasės su vienviečiais predikatiniais kintamaisiais išsprendžiamumas. Lietuvos matematikos rinkinys, v. 42, n. spec., p. 471–475, 20 gruodž.2002.