A polynomial algorithm for uniqueness of normal forms of linear shallow term rewrite systems

Julian Zinn, Rakesh M. Verma. A polynomial algorithm for uniqueness of normal forms of linear shallow term rewrite systems. Appl. Algebra Eng. Commun. Comput., 21(6):459-485, 2010. [doi]

Abstract

Abstract is missing.