Thạnh, L. M., & 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), 87–96. https://doi.org/10.15625/1813-9663/17/4/2297