Leon Shalla
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