Mechanical theorem proving by model elimination (1968)

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