NORGĖLA, S. Herbrand expansions of some formulas of modal logic S4. Lietuvos matematikos rinkinys, v. 43, n. spec., p. 434–437, 22 Dec.2003.