Surajit Chaudhuri Finding Nonrecursive Envelopes for Datalog Predicates. 96-105 1992 Workshop on Deductive Databases, JICSLP db/conf/deductive/deductive92.html#Chaudhuri92