Pliuškevičienė, A. (2008). Loop-check elimination for non-transitive distributed knowledge logic. Lietuvos Matematikos Rinkinys, 48(proc. LMS), 278–282. https://doi.org/10.15388/LMR.2008.18110