Termination modulo equations by abstract commutation with an application to iteration
Wan J. Fokkink, Hans Zantema · 1996
We generalize a termination theorem in term rewriting, based on an abstract commutation technique, to rewriting modulo equations. This result is applied in the setting of process algebra with iteration.