Norgėla, S. Rezoliucijų skaičiavimas Modalumų Logikai S4. LMR 2000, 40 (spec.), 270–274. https://doi.org/10.15388/LMR.2000.35147.