S. . Norgėla, “Rezoliucijų metodas vienai modalumo logikos S4 klasei”, LMR, vol. 44, no. spec., pp. 521–524, Dec. 2004, doi: 10.15388/LMR.2004.32028.