An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants | Publicación