NORGĖLA, S. Herbrand skleidinys vienai modalumo logikos S4 formulių klasei. Lietuvos matematikos rinkinys, v. 43, n. spec., p. 434–437, 22 gruodž.2003.