On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases
scientific article; zbMATH DE number 2174893