Andrikonis, Julius, and Regimantas Pliuškevičius. “Cut Elimination for Knowledge Logic With Interaction”. Lietuvos Matematikos Rinkinys, vol. 47, no. spec., June 2021, pp. 346–350, https://doi.org/10.15388/LMR.2007.24226.