A simplified format for the Model Elimination theorem proving procedure (1969)

by D W Loveland
Venue:J. ACM