Dependency pairs for proving termination properties of conditional term rewriting systems | Publicación