Pliuškevičius, R. Decision Procedures for Quantified Fragments of Reflexive Common Knowledge Logic. LMR 2004, 44 (spec.), 530–534. https://doi.org/10.15388/LMR.2004.32076.