On termination of the direct sum of term-rewriting systems

Termination of rewriting

Nachum Dershowitz · Journal of Symbolic Computation · 1987 · 725 citations

Orderings for term-rewriting systems

Nachum Dershowitz · Theoretical Computer Science · 1982 · 607 citations

Computing, Computer Science, Algorithms +6

Proving termination with multiset orderings

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

Computing, Computer Science, Algorithms +12

Counterexamples to termination for the direct sum of term rewriting systems

Yoshihito Toyama · Information Processing Letters · 1987 · 170 citations

Computing, Computer Science, Formal Methods +5

On the Church-Rosser property for the direct sum of term rewriting systems

Yoshihito Toyama · Journal of the ACM · 1987 · 159 citations · Full text

Computing, Computer Science, Mathematics +8