Termination of Isabelle Functions via Termination of Rewriting | Publicación