A linear format for resolution with merging and a new technique for establishing completeness (0)

by R Anderson, W W Bledsoe
Venue:Journal of the ACM