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