@misc{indiciae3420bd9533e0,
  title = {Underapproximation of Procedure Summaries for Integer Programs},
  author = {Pierre Ganty and Radu Iosif and Filip Konecny},
  year = {2016},
  doi = {10.1007/s10009-016-0420-7},
  url = {https://arxiv.org/abs/1210.4289},
  note = {Source identifier: 1210.4289}
}