Jorge Lobo, Jack Minker, Arcot Rajasekar:
Foundations of disjunctive logic programming. Logic Programming, MIT Press 1992, ISBN 978-0-262-12165-1, pp. 1-307
Foundations of disjunctive logic programming. Logic Programming, MIT Press 1992, ISBN 978-0-262-12165-1, pp. 1-307