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.