Norman Rubin
Malcolm C. Harrison and Norman Rubin.
Another generalization of resolution.
Journal of the ACM
, 25(3):341-351, July 1978.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database