Pliuškevičienė, A. Loop-Check Elimination for Non-Transitive Distributed Knowledge Logic. LMR 2008, 48 (proc. LMS), 278–282. https://doi.org/10.15388/LMR.2008.18110.