(1)
Pliuškevičienė A. Loop-Check Elimination for Non-Transitive Distributed Knowledge Logic. LMR 2008, 48, 278–282.