Giedra, H. (2010) “Cut free sequent calculus for logic S5n(ED)”, Lietuvos matematikos rinkinys, 51(proc. LMS), pp. 336–341. doi:10.15388/LMR.2010.61.