Foundations of Deductive Databases and Logic Programming

Negation and Stratified Databases

Fundamental Issues in Deductive Databases and Implementation

Unification and Logic Programs

a service of Schloss Dagstuhl - Leibniz Center for Informatics