Deciding confluence of certain term rewriting systems in polynomial time | IEEE Conference Publication | IEEE Xplore