Deductive Databases / Abduction in Deductive Databases 1995

Semantics of Logic Programs

Query Optimization in Deductive Databases

Implementation Techniques

Updates & Integrity Checking

Belief Revision

Metaprogramming Techniques