Foundations of disjunctive logic programming - Lobo, Jorge (The MIT Press, 1992)