Thạnh, L. M.; Tuấn, T. C. Analysis of Some Methods to Avoid Infinite Loops in the Process of Query Evaluation for the Datalog Programs. JCC 2012, 17, 87-96.