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