Norgėla, Stasys. 2000. „Rezoliucijų skaičiavimas modalumų logikai S4“. Lietuvos matematikos rinkinys 40 (spec.): 270–274. https://doi.org/10.15388/LMR.2000.35147.