Norgėla, Stasys. “Rezoliucijų skaičiavimas Modalumų Logikai S4”. Lietuvos Matematikos Rinkinys, vol. 40, no. spec., Dec. 2000, pp. 270–274, https://doi.org/10.15388/LMR.2000.35147.