Non-Deterministic Approximation Fixpoint Theory and Its Application in Disjunctive Logic Programming

Open in new window