Classifying termination of term rewriting
Hans Zantema · TU/e Research Portal · 1991
A classification of types of termination of term rewriting systems is proposed, built on properties in the semantic level in which terms are interpreted.It can be considered as a generalization of polynomial interpretations.