A. Birštunas ir S. Norgėla, „Atvirkštinis metodas teiginių modalumo logikai S4“, LMR, t. 43, nr. spec., p. 429–433, gruodž. 2003, doi: 10.15388/LMR.2003.32470.