Surajit Chaudhuri Moshe Y. Vardi On the Equivalence of Recursive and Nonrecursive Datalog Programs. 61-78 1997 54 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss54.html#ChaudhuriV97