Mechanical theorem-proving by model elimination (1968)

by D W Loveland
Venue:Journal of the ACM, Volume 15, Issue