On Termination of Datalog Programs**This research was supported in part by grant 85-00082 from the United States-Israel Binational Science Foundation (BSF), Jerusalem, Israel. The first author was also supported in part by the National Council for Research and Development, the Ministry of Science and Technology, Israel.
1990 ◽
pp. 47-64
◽
1978 ◽
Vol 34
(4)
◽
pp. 768-769
1992 ◽
Vol 19
(1)
◽
pp. 51-78
◽
2008 ◽
Vol 30
(3-4)
◽
pp. 437-450
◽
1993 ◽
Vol 9
(2)
◽
pp. 167-173
◽