Martin Davis. The Mathematics of Non-Monotonic Reasoning. Artificial Intelligence, 13(1-2):73-80, 1980.
@article{Davis80b, title = {The Mathematics of Non-Monotonic Reasoning}, author = {Martin Davis}, year = {1980}, researchr = {https://researchr.org/publication/Davis80b}, cites = {0}, citedby = {0}, journal = {Artificial Intelligence}, volume = {13}, number = {1-2}, pages = {73-80}, }