Disjunctive Logic Programs with Inheritance
Classical negation in logic programs and disjunctive databases