A simplified format for the model elimination procedure (0)

by D Loveland
Venue:Journal of the ACM