Foundations Of Disjunctive Logic Programming door Jorge. Lobo