On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases
2005 ◽
Vol 336
(1)
◽
pp. 125-151
◽
1997 ◽
Vol 171
(1-2)
◽
pp. 25-60
◽