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