Two results on ordering for resolution with merging and linear format (1971)

by R Reiter
Venue:Journal of the ACM