@inproceedings{GIK13,
title = {Underapproximation of Procedure Summaries for Integer Programs },
author = {Ganty, Pierre and Iosif, Radu and Kone\v{c}n\'{y}, Filip},
year = {2013},
booktitle = {TACAS},
crossref = {DBLP:conf/tacas/2013},
pages = {245-259},
team = {DCS,PACSS},
}