John W. Lloyd Rodney W. Topor A Basis for Deductive Database Systems. 93-109 1985 2 J. Log. Program. 2 db/journals/jlp/jlp2.html#LloydT85