"Processing Deductive Databases under the Disjunctive Stable Model Semantics."

C. A. Johnson (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics