On the Termination of Integer Loops | Publicación