Pliuškevičius, R. 2004. Decision procedures for quantified fragments of reflexive common knowledge logic. Lietuvos matematikos rinkinys. 44, spec. (Dec. 2004), 530–534. DOI:https://doi.org/10.15388/LMR.2004.32076.