Lawrence Wos
- 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.
- L. Henschen and L. Wos. Unit refutations and Horn
sets. Journal of the ACM, 21(4):590-605, October 1974.
References,
Citations,
etc.
Shortcuts: