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