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

by R REITER
Venue:Journal of the ACM