Acyclic Disjunctive Logic Programs with Abductive Procedures as Proof Procedure