Generating all polynomial invariants in simple loops | Publicación