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