A Machine-Oriented Logic Based on the Resolution Principle

@article{resolution-jacm12,
   apice = {ResolutionJacm12},
   author = {John Alan Robinson},
   doi = {10.1145/321250.321253},
   eissn = {1557-735X},
   issn = {0004-5411},
   journal = {Journal of the ACM},
   month = jan,
   number = 1,
   numpages = 19,
   openalex = {W2100738443},
   pages = {23--41},
   publisher = {ACM},
   title = {A Machine-Oriented Logic Based on the Resolution Principle},
   url = {https://dl.acm.org/doi/10.1145/321250.321253},
   volume = 12,
   year = 1965
}