(1)
Pliuškevičienė A. Elimination of Loop-Check for Logic of Idealized Knowledge. LMR 2009, 50, 258–263.