Norgėla, Stasys. 2000. “A Resolution Calculus for Modal Logic S4”. Lietuvos Matematikos Rinkinys 40 (spec.): 270–274. https://doi.org/10.15388/LMR.2000.35147.