@misc{W2057361103,
  author = {Martin Davis and George Logemann and Donald Loveland},
  title = {A machine program for theorem-proving},
  year = {1962},
  howpublished = {Communications of the ACM},
  doi = {https://doi.org/10.1145/368273.368557}
}