A Machine-Oriented Logic Based on the Resolution Principle (1965)

by J A Robinson
Venue:JACM