Massimo Marchiori On the Modularity of Normal Forms in Rewriting. 143-154 1996 22 J. Symb. Comput. 2 db/journals/jsc/jsc22.html#Marchiori96