THẠNH, Lê Mạnh; TUẤN, Trương Công. Analysis of some methods to avoid infinite loops in the process of query evaluation for the datalog programs. <b>Journal of Computer Science and Cybernetics</b>, <i>[S. l.]</i>, v. 17, n. 4, p. 87–96, 2012. DOI: 10.15625/1813-9663/17/4/2297. Disponível em: https://jcc.vast.vn/jcc/article/view/2297. Acesso em: 3 nov. 2025.