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