Mechanical Theorem Proving by Model Elimination (1968)

by D W Loveland
Venue:Journal of the ACM