A Machine-Oriented Logic Based on the Resolution Principle

J. A. Robinson

Journal: Journal of the ACM

Publisher: Association for Computing Machinery (ACM)

Citations are the number of DOI-registered works in Crossref that cite this paper; references are how many works it cites. Full text is on the publisher site via the DOI link.