PLIUŠKEVIČIUS, R. Decision procedures for quantified fragments of reflexive common knowledge logic. Lietuvos matematikos rinkinys, v. 44, n. spec., p. 530–534, 17 Dec.2004.