TERMINATION OF TERM REWRITING BY SEMANTIC LABELLING
Hans Zantema · Fundamenta Informaticae · 1995
A new kind of transformation of term rewriting systems (TRS) is proposed, depending on a choice for a model for the TRS. The labelled TRS is obtained from the original one by labelling operation symbols, possibly creating extra copies of some rules.