Foundations of disjunctive logic programming /
Lobo, Jorge.
Reading, Mass, ; London : MIT,
1992.