A Factorisation Theorem in Rewriting Theory.

Paul-André Melliès A Factorisation Theorem in Rewriting Theory. 49-68 1997 conf/ctcs/1997 Category Theory and Computer Science db/conf/ctcs/ctcs1997.html#Mellies97