Linearizing Term Rewriting Systems Using Test Sets

Dieter Hofbauer, Maria Huber. Linearizing Term Rewriting Systems Using Test Sets. Journal of Symbolic Computation, 17(1):91-129, 1994.