Computing Only Minimal Answers in Disjunctive Deductive Databases

C. A. Johnson. Computing Only Minimal Answers in Disjunctive Deductive Databases. Journal of Automated Reasoning, 42(1):35-76, 2009. [doi]

Abstract

Abstract is missing.