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