GIEDRA, H. Cut free sequent calculus for logic S5n(ED). Lietuvos matematikos rinkinys, v. 51, n. proc. LMS, p. 336–341, 21 Dec.2010.