S. . Norgėla, „Rezoliucijų metodas vienai modalumo logikos S4 klasei“, LMR, t. 44, nr. spec., p. 521–524, gruodž. 2004, doi: 10.15388/LMR.2004.32028.