From non-zenoness verification to termination | Publicación