Thạnh, L.M. and Tuấn, T.C. 2012. Analysis of some methods to avoid infinite loops in the process of query evaluation for the datalog programs. Journal of Computer Science and Cybernetics. 17, 4 (Aug. 2012), 87–96. DOI:https://doi.org/10.15625/1813-9663/17/4/2297.