A Simplified Version for the Model Elimination Theorem Proving Procedure (1969)

by D Loveland
Venue:JACM