Sufficient Condition for the Termination of the Direct Sum of Term Rewriting Systems

摘要

A conjecture by Rusinowitch is proven, stating that the direct sum of two terminating term rewriting systems is terminating if one of the systems contains neither collapsing nor duplicating rules.