@misc{W2100738443,
  author = {John A. Robinson},
  title = {A Machine-Oriented Logic Based on the Resolution Principle},
  year = {1965},
  howpublished = {Journal of the ACM},
  doi = {https://doi.org/10.1145/321250.321253}
}