A Unifying View of Some Linear Herbrand Procedures (1972)

by D W Loveland
Venue:JACM