Pliuškevičius, Regimantas, and Aurimas Paulius Girčys. 2012. “Saturation Method for Reflexive Common Knowledge Logic”. Lietuvos Matematikos Rinkinys 53 (A): 108–111. https://doi.org/10.15388/LMR.A.2012.19.