Jorge Lobo, Jack Minker, Arcot Rajasekar. Foundations of disjunctive logic programming. Logic Programming, MIT Press, 1992.
@book{0069187, title = {Foundations of disjunctive logic programming}, author = {Jorge Lobo and Jack Minker and Arcot Rajasekar}, year = {1992}, tags = {logic programming, programming, logic}, researchr = {https://researchr.org/publication/0069187}, cites = {0}, citedby = {0}, series = {Logic Programming}, publisher = {MIT Press}, isbn = {978-0-262-12165-1}, }