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