Martin Davis, George Logemann, Donald W. Loveland. A machine program for theorem-proving. Communications of the ACM, 5(7):394-397, 1962. [doi]
@article{DavisLL62,
title = {A machine program for theorem-proving},
author = {Martin Davis and George Logemann and Donald W. Loveland},
year = {1962},
doi = {10.1145/368273.368557},
url = {http://doi.acm.org/10.1145/368273.368557},
researchr = {https://researchr.org/publication/DavisLL62},
cites = {0},
citedby = {1},
journal = {Communications of the ACM},
volume = {5},
number = {7},
pages = {394-397},
}