Underapproximation of procedure summaries for integer programs | Publicación