(1)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. <i>J. Comput. Sci. Cybern.</i> <b>2012</b>, <i>17</i>, 87-96.