A sufficient condition for the termination of the direct sum of term rewriting systems | IEEE Conference Publication | IEEE Xplore