Pliuškevičius, R.; Girčys, A. P. Saturation Method for Reflexive Common Knowledge Logic. LMR 2012, 53 (A), 108–111. https://doi.org/10.15388/LMR.A.2012.19.