Foundations of disjunctive logic programming

@inproceedings{Lobo1992FoundationsOD,
  title={Foundations of disjunctive logic programming},
  author={Jorge Lobo and Jack Minker and Arcot Rajasekar},
  booktitle={Logic Programming},
  year={1992}
}