@inproceedings{Moore83,
  title = {Semantical Considerations on Nonmonotonic Logic},
  author = {Robert C. Moore},
  year = {1983},
  tags = {C++, logic},
  researchr = {https://researchr.org/publication/Moore83},
  cites = {0},
  citedby = {0},
  pages = {272-279},
  booktitle = {IJCAI},
}