@misc{W2062897452,
  author = {Martin Davis and Hilary Putnam},
  title = {A Computing Procedure for Quantification Theory},
  year = {1960},
  howpublished = {Journal of the ACM},
  doi = {https://doi.org/10.1145/321033.321034}
}