A. Pliuškevičienė, “Loop-check elimination for non-transitive distributed knowledge logic”, LMR, vol. 48, no. proc. LMS, pp. 278–282, Dec. 2008, doi: 10.15388/LMR.2008.18110.