@misc{W2945259913,
  author = {John McCarthy},
  title = {Circumscription—A form of non-monotonic reasoning},
  year = {1980},
  howpublished = {Artificial Intelligence},
  doi = {https://doi.org/10.1016/0004-3702(80)90011-9}
}