@article{GIK7,
title = { Underapproximation of procedure summaries for integer programs },
author = {Ganty, Pierre and Iosif, Radu and Konecn{\'y}, Filip},
year = {2017},
journal = {{STTT}},
number = {5},
pages = {565--584},
volume = {19},
team = {RSD},
timestamp = {Tue, 05 Sep 2017 14:29:30 +0200},
biburl = {https://dblp.org/rec/bib/journals/sttt/GantyIK17},
bibsource = {dblp computer science bibliography, https://dblp.org},
}