On the equivalence of recursive and nonrecursive datalog programs. (1992)

by S Chaudhuri, M Y Vardi
Venue:In Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on the Principles of Database Systems,