Splitting a Logic Program
Classical negation in logic programs and disjunctive databases