S. Norgėla, “Some decidable classes of formulas of modal logic S4”, LMR, vol. 41, no. spec., pp. 408–412, Dec. 2001, doi: 10.15388/LMR.2001.34621.