ANDRIKONIS, J.; PLIUŠKEVIČIUS, R. Contraction-free calculi for modal logics S5 and KD45. Lietuvos matematikos rinkinys, v. 52, n. proc. LMS, p. 237–242, 15 Dec.2011.