On the equivalence of recursive and nonrecursive Datalog programs (1992)

by S Chaudhuri, M Y Vardi
Venue:In Proc. of PODS’92