Andrikonis, J. .; Pliuškevičius, R. . Cut Elimination for Knowledge Logic With Interaction. LMR 2021, 47 (spec.), 346–350. https://doi.org/10.15388/LMR.2007.24226.