PLIUŠKEVIČIUS, R.; GIRČYS, A. P. Saturation method for reflexive common knowledge logic. Lietuvos matematikos rinkinys, v. 53, n. A, p. 108–111, 15 Dec.2012.