ANDIRKONIS, J. Beciklis sekvencinis skaičiavimas modalumo logikai K4. Lietuvos matematikos rinkinys, v. 50, n. proc. LMS, p. 241–246, 20 gruodž.2009.