Resolution with Merging (1968)

by P B Andrews
Venue:In Journal of the ACM