On the Equivalence of Recursive and Nonrecursive Datalog Programs.

Surajit Chaudhuri, Moshe Y. Vardi

Browse the full PODS paper archive.