S. Norgėla, “Vienos modalumo logikos S4 klasės su vienviečiais predikatiniais kintamaisiais išsprendžiamumas”, LMR, vol. 42, no. spec., pp. 471–475, Dec. 2002, doi: 10.15388/LMR.2002.32979.