Girčys, A.P. and Pliuškevičius, R. (2013) “Two complete finitary sequent calculi for reflexive common knowledge”, Lietuvos matematikos rinkinys, 54(A), pp. 12–15. doi:10.15388/LMR.A.2013.05.