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]

Authors

Stavros S. Cosmadakis

This author has not been identified. Look up 'Stavros S. Cosmadakis' in Google

Eugénie Foustoucos

This author has not been identified. Look up 'Eugénie Foustoucos' in Google

Anastasios Sidiropoulos

This author has not been identified. Look up 'Anastasios Sidiropoulos' in Google