John W. Lloyd Rodney W. Topor A Basis for Deductive Database Systems II. 55-67 1986 3 J. Log. Program. 1 db/journals/jlp/jlp3.html#LloydT86