@article{McCarthy_1980,
    doi = {10.1016/0004-3702(80)90011-9},
    url = {https://doi.org/10.1016%2F0004-3702%2880%2990011-9},
    year = {1980},
    month = {apr},
    publisher = {Elsevier {BV}},
    volume = {13},
    number = {1-2},
    pages = {27--39},
    author = {John McCarthy},
    title = {Circumscription-A form of non-monotonic reasoning},
    journal = {Artificial Intelligence}
}

@article{McCarthy_1980, doi = {10.1016/0004-3702(80)90011-9}, url = {https://doi.org/10.1016%2F0004-3702%2880%2990011-9}, year = {1980}, month = {apr}, publisher = {Elsevier {BV}}, volume = {13}, number = {1-2}, pages = {27--39}, author = {John McCarthy}, title = {Circumscription-A form of non-monotonic reasoning}, journal = {Artificial Intelligence} }