Declarative and Fixpoint Characterizations of Disjunctive Stable Models

Nicola Leone, Francesco Scarcello. Declarative and Fixpoint Characterizations of Disjunctive Stable Models. In ILPS. pages 399-413, 1995.

Abstract

Abstract is missing.