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. JCC 2012, 18, 119-127.