Andrikonis, J. and Pliuškevičius, R. (2021) “Cut elimination for knowledge logic with interaction”, Lietuvos matematikos rinkinys, 47(spec.), pp. 346–350. doi:10.15388/LMR.2007.24226.