Giedra, Haroldas. “Cut Free Sequent Calculus for Logic S5n(ED)”. Lietuvos Matematikos Rinkinys, vol. 51, no. proc. LMS, Dec. 2010, pp. 336–341, https://doi.org/10.15388/LMR.2010.61.