ANDRIKONIS, J.; PLIUŠKEVIČIUS, R. Cut elimination for knowledge logic with interaction. Lietuvos matematikos rinkinys, v. 47, n. spec., p. 346–350, 14 Jun.2021.