Full-commutation and fair-termination in equational (and combined) term-rewriting systems

Termination of rewriting

Journal of Symbolic Computation

Termination of just/fair computations in term rewriting

Information and Computation

On Lazy Commutation

Languages: From Formal to Natural

Termination of fair computations in term rewriting

LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning

Localized fairness: a rewriting semantics

RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications