The View-Update Problem for Indefinite Databases
Classical negation in logic programs and disjunctive databases