Deciding the confluence of ordered term rewrite systems | Publicación