Norgėla, S. (2004) “Rezoliucijų metodas vienai modalumo logikos S4 klasei”, Lietuvos matematikos rinkinys, 44(spec.), pp. 521–524. doi:10.15388/LMR.2004.32028.