ANDRIKONIS, J.; PLIUŠKEVIČIUS, R. Dubliavimo eliminavimas modalumo logikoms S5 ir KD45. Lietuvos matematikos rinkinys, v. 52, n. proc. LMS, p. 237–242, 15 gruodž.2011.