A Dual Fixpoint Approach for Deriving the Disjunctive Well-Founded Semantics

Dietmar Seipel. A Dual Fixpoint Approach for Deriving the Disjunctive Well-Founded Semantics. In WLP. pages 96-99, 1994.

Abstract

Abstract is missing.