S. Norgėla, “Rezoliucijų skaičiavimas modalumų logikai S4”, LMR, vol. 40, no. spec., pp. 270–274, Dec. 2000, doi: 10.15388/LMR.2000.35147.