George A. Robinson
Lawrence Wos, George A. Robinson, and Daniel F. Carson.
Efficiency and completeness of the set of support strategy in theorem proving.
Journal of the ACM
, 12(4):536-541, October 1965.
References and Citations.
Lawrence Wos, George A. Robinson, Daniel F. Carson, and Leon Shalla.
The concept of demodulation in theorem proving.
Journal of the ACM
, 14(4):698-709, October 1967.
References and Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database