Thạnh, Lê Mạnh, and Trương Công Tuấn. “Analysis of Some Methods to Avoid Infinite Loops in the Process of Query Evaluation for the Datalog Programs”. <i>Journal of Computer Science and Cybernetics</i> 17, no. 4 (August 1, 2012): 87–96. Accessed November 3, 2025. https://jcc.vast.vn/jcc/article/view/2297.