Undecidability and intractability results concerning datalog programs and their persistency numbers

Stavros S. Cosmadakis, Eugénie Foustoucos, Anastasios Sidiropoulos. Undecidability and intractability results concerning datalog programs and their persistency numbers. ACM Trans. Comput. Log., 11(2), 2010. [doi]

Abstract

Abstract is missing.