Local confluence of conditional and generalized term rewriting systems | Publicación