A simplified format for the model elimination procedure (1969)

by D Loveland
Venue:Journal of the ACM