Thuần, H., L. M. Thạnh, and T. C. Tuấn. “Analysis of Some Methods to Avoid Infinite Loops in the Process of Query Valuation for the Datalog Proograms”. Journal of Computer Science and Cybernetics, vol. 18, no. 2, July 2012, pp. 119-27, doi:10.15625/1813-9663/18/2/1597.