Some Results on the Confluence Property of Combined Term Rewriting Systems
张旭波 · 1991
Generally speaking,confluence property is not preserved when Term Rewriting Systems (TRSs) are combined,even if they are canonical.In this paper we give some sufficient conditions for ensuring the confluence property of combined left-linear,overlapping TRSs.