S. Norgėla, „Herbrand skleidinys vienai modalumo logikos S4 formulių klasei“, LMR, t. 43, nr. spec., p. 434–437, gruodž. 2003, doi: 10.15388/LMR.2003.32471.