Decreasing Diagrams and Relative Termination

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

Tree-Manipulating Systems and Church-Rosser Theorems

Barry K. Rosen · Journal of the ACM · 1973 · 351 citations · Full text

Tree Language, Engineering, Recursive Calculus +15

Higher-order critical pairs

Tobias Nipkow · 2002 · 217 citations

Order Theory, Engineering, Lambda -Calculi +15

Combinatory Logic, Volume I.

Charles Parsons, Haskell B. Curry, Robert Feys et al. · The Philosophical Review · 1959 · 160 citations

Computational Logic, Discrete Mathematics, Combinatory Logic

Matrix Interpretations for Proving Termination of Term Rewriting

Jörg Endrullis, Johannes Waldmann, Hans Zantema · Journal of Automated Reasoning · 2007 · 157 citations · Full text

Term Rewriting, Regulated Rewriting, Formal Methods +2