Deciding confluence of certain term rewriting systems in polynomial time | Publicación