On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs.

Surajit Chaudhuri, Moshe Y. Vardi

Browse the full PODS paper archive.