Complexity and Expressive Power of Disjunctive Logic Programming - Gottlob, G (1994)