Operational termination of conditional term rewriting systems | Publicación