NORGĖLA, S. Rezoliucijų skaičiavimas modalumų logikai S4. Lietuvos matematikos rinkinys, v. 40, n. spec., p. 270–274, 18 gruodž.2000.