Progression Semantics for Disjunctive Logic Programs

Open in new window