A rationale for conditional equational programming

Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems

Gérard Huet · Journal of the ACM · 1980 · 1.1K citations

Engineering, Data Curation, Term Rewriting Systems +19

On artificial intelligence

Peter H. Schönemann · Behavioral and Brain Sciences · 1985 · 885 citations

Artificial Intelligence, Get Access Link, Humanities +7

Intensional interpretations of functionals of finite type I

W. W. Tait · Journal of Symbolic Logic · 1967 · 552 citations

T 0, Intuitionistic Logic, Constructive Mathematics +13

Proving termination with multiset orderings

Nachum Dershowitz, Zohar Manna · Communications of the ACM · 1979 · 532 citations · Full text

Program Checking, Engineering, Multiset Orderings +17

Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity

James R. Slagle · Journal of the ACM · 1974 · 254 citations · Full text

Theory Of Computing, Formal Logic, Engineering +15