![](/img/cover-not-exists.png)
Two Results on Ordering for Resolution with Merging and Linear Format
Reiter, RaymondVolume:
18
Language:
english
Journal:
Journal of the ACM
DOI:
10.1145/321662.321678
Date:
October, 1971
File:
PDF, 736 KB
english, 1971