Lawrence J. Henschen

On compiling queries in recursive first-order databases

Lawrence J. Henschen, Shamim A. Naqvi · Journal of the ACM · 1984 · 285 citations · Full text

Unit Refutations and Horn Sets

Lawrence J. Henschen, L. Wos · Journal of the ACM · 1974 · 147 citations · Full text

Refinement Technique, Engineering, Horn Clauses +13

Maintaining state constraints in relational databases: a proof theoretic basis

William W. McCune, Lawrence J. Henschen · Journal of the ACM · 1989 · 66 citations · Full text

Formula C, Engineering, Relational Database +18

Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains.

Lawrence J. Henschen, Brian T. Smith, Robert Veroff et al. · Notre Dame Journal of Formal Logic · 1983 · 57 citations · Full text

Engineering, Automated Reasoning, Proof Complexity +8

Using domain knowledge in knowledge discovery

Suk-Chung Yoon, Lawrence J. Henschen, E. K. Park et al. · 1999 · 38 citations · Full text

Engineering, Semantic Search, Knowledge Extraction +18