A machine-oriented logic based on the resolution principle (1965)

by Lee, Meng Robinson, J A
Venue:J. ACM