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