GIRČYS, A. P.; PLIUŠKEVIČIUS, R. Two complete finitary sequent calculi for reflexive common knowledge. Lietuvos matematikos rinkinys, v. 54, n. A, p. 12–15, 15 Dec.2013.