Martin Davis. Obvious Logical Inferences. In Patrick J. Hayes, editor, Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI 81), Vancouver, BC, Canada, August 1981. pages 530-531, William Kaufmann, 1981.
@inproceedings{Davis81,
title = {Obvious Logical Inferences},
author = {Martin Davis},
year = {1981},
researchr = {https://researchr.org/publication/Davis81},
cites = {0},
citedby = {0},
pages = {530-531},
booktitle = {Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI 81), Vancouver, BC, Canada, August 1981},
editor = {Patrick J. Hayes},
publisher = {William Kaufmann},
}