A unifying view of some linear Herbrand procedures (1972)

by D W Loveland
Venue:Journal of the Association for Computing Machinery