Pliuškevičienė A. Elimination of loop-check for logic of idealized knowledge. Lietuvos matematikos rinkinys, v. 50, n. proc. LMS, p. 258–263, 20 Dec. 2009.