A Machine-Oriented Logic Based on the Resolution Principle.

db/journals/jacm/Robinson65.html John Alan Robinson A Machine-Oriented Logic Based on the Resolution Principle. 23-41 1965 12 J. ACM 1 http://doi.acm.org/10.1145/321250.321253 db/journals/jacm/jacm12.html#Robinson65 JACM/12/P0023.pdf