@misc{W2155322595,
  author = {Raymond Reiter},
  title = {A logic for default reasoning},
  year = {1980},
  howpublished = {Artificial Intelligence},
  doi = {https://doi.org/10.1016/0004-3702(80)90014-4}
}