author : John Alan Robinson
1
publication
A Machine-Oriented Logic Based on the Resolution Principle (Journal of the ACM, 1965) — John Alan Robinson A Machine-Oriented Logic Based on the Resolution Principle (Journal of the ACM, 1965) — John Alan Robinson