Lawrence J. Henschen
- L. Henschen and L. Wos. Unit refutations and Horn
sets. Journal of the ACM, 21(4):590-605, October 1974.
References,
Citations,
etc.
- L. J. Henschen. Theorem
proving by covering expressions. Journal of the ACM,
26(3):385-400, July 1979.
- Lawrence J. Henschen and Shamim A. Naqvi. On compiling queries in recursive
first-order databases. Journal of the ACM, 31(1):47-85,
January 1984.
Citations.
- William W. McCune and Lawrence J. Henschen. Maintaining state constraints in
relational databases: A proof theoretic basis. Journal of the
ACM, 36(1):46-68, January 1989.
Citations.
Shortcuts: