Dieter Hofbauer Maria Huber Linearizing Term Rewriting Systems Using Test Sets. 91-129 1994 17 J. Symb. Comput. 1 db/journals/jsc/jsc17.html#HofbauerH94