Pliuškevičius, R. and Girčys, A.P. 2012. Saturation method for reflexive common knowledge logic. Lietuvos matematikos rinkinys. 53, A (Dec. 2012), 108–111. DOI:https://doi.org/10.15388/LMR.A.2012.19.