Pliuškevičienė, Aida. 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.