Automatic Proofs of Termination With Elementary Interpretations | Publicación