… ext we present a new fixpoint semantics of disjunctive programs. We mtroduce a mapping
operating over sets of interpretations and show that its fixpoint closure character· izes the …