On the equivalence of recursive and nonrecursive datalog programs (1997)

by S Chaudhuri, M Y Vardi
Venue:J. Comput. Syst. Sci