On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases

From MaRDI portal
(Redirected from Publication:555774)