Foundations of Deductive Databases and Logic Programming

Jack Minker (Ed.): Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann 1988, ISBN 0-934613-40-0

Negation and Stratified Databases

Fundamental Issues in Deductive Databases and Implementation

Unification and Logic Programs