Malcolm C. Harrison
Malcolm C. Harrison and Norman Rubin.
Another generalization of resolution.
Journal of the ACM
, 25(3):341-351, July 1978.
Vincent J. Digricoli and Malcolm C. Harrison.
Equality-based binary resolution.
Journal of the ACM
, 33(2):253-289, April 1986.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database