Strongly sequential and inductively sequential term rewriting systems | Publicación