A machine-oriented logic basedon theresolution principle (1965)

by J Robinson
Venue:Journal of the ACM