UNIQUE NORMAL FORMS IN INFINITARY WEAKLY ORTHOGONAL TERM REWRITING

by Jan Willem , Klop , Vincent Van Oostrom