Proving Termination Starting from the End | Publicación