Logic programs with propositional connectives and aggregates
Classical negation in logic programs and disjunctive databases