Thạnh, Lê Mạnh, and Trương Công Tuấn. 2012. “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 (4):87-96. https://doi.org/10.15625/1813-9663/17/4/2297.