Foundations Of Disjunctive Logic Programming by Jorge. Lobo