Oulie
Foundations of Disjunctive Logic Programming by Jorge Lobo, Lobo — Oulie