Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation

Nicola Leone, Pasquale Rullo, Francesco Scarcello. Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation. Inf. Comput., 135(2):69-112, 1997.

Abstract

Abstract is missing.