Thuần, H.; Thạnh, L. M.; Tuấn, T. C. Analysis of Some Methods to Avoid Infinite Loops in the Process of Query Valuation for the Datalog Proograms. J. Comput. Sci. Cybern. 2012, 18, 119-127.