@misc{W2076698873,
  author = {Michael Gelfond and Vladimir Lifschitz},
  title = {Classical negation in logic programs and disjunctive databases},
  year = {1991},
  howpublished = {New Generation Computing},
  doi = {https://doi.org/10.1007/bf03037169}
}