Norgėla, Stasys. „Rezoliucijų skaičiavimas Modalumų Logikai S4“. Lietuvos Matematikos Rinkinys, t. 40, nr. spec., 2000 m.gruodžio, p. 270–274, https://doi.org/10.15388/LMR.2000.35147.