J. . Andrikonis ir R. . Pliuškevičius, „Dubliavimo eliminavimas modalumo logikoms S5 ir KD45“, LMR, t. 52, nr. proc. LMS, p. 237–242, gruodž. 2011, doi: 10.15388/LMR.2011.ml03.