On the Modularity of Normal Forms in Rewriting

Massimo Marchiori. On the Modularity of Normal Forms in Rewriting. Journal of Symbolic Computation, 22(2):143-154, 1996.

Abstract

Abstract is missing.