Experimenting with recursive queries in database and logic programming systems
Classical negation in logic programs and disjunctive databases