BIRŠTUNAS, A.; NORGĖLA, S. Atvirkštinis metodas teiginių modalumo logikai S4. Lietuvos matematikos rinkinys, v. 43, n. spec., p. 429–433, 22 gruodž.2003.