THUẦN, Hồ; THẠNH, Lê Mạnh; TUẤN, Trương Công. 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/jcc/article/view/1597. Acesso em: 30 apr. 2025.