On the linear ranking problem for integer linear-constraint loops | Publicación