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”. Journal of Computer Science and Cybernetics 17, no. 4 (August 1, 2012): 87–96. Accessed April 28, 2024. https://vjs.ac.vn/index.php/jcc/article/view/2297.