S. Norgėla, “Kai kurios išsprendžiamos modalumo logikos S4 klasės”, LMR, vol. 41, no. spec., pp. 408–412, Dec. 2001, doi: 10.15388/LMR.2001.34621.