Pliuškevičienė A. Loop-check elimination for non-transitive distributed knowledge logic. Lietuvos matematikos rinkinys, v. 48, n. proc. LMS, p. 278–282, 21 Dec. 2008.