Automatic Generation of Polynomial Loop Invariants | Publicación