R. Pliuškevičius, “Decision procedures for quantified fragments of reflexive common knowledge logic”, LMR, vol. 44, no. spec., pp. 530–534, Dec. 2004, doi: 10.15388/LMR.2004.32076.