THUẦN, H.; THẠNH, L. M.; TUẤN, T. C. Analysis of some methods to avoid infinite loops in the process of query valuation for the datalog proograms. Journal of Computer Science and Cybernetics, [S. l.], v. 18, n. 2, p. 119–127, 2012. DOI: 10.15625/1813-9663/18/2/1597. Disponível em: https://vjs.ac.vn/index.php/jcc/article/view/1597. Acesso em: 4 may. 2024.