@misc{indiciae87f0ef43bbbc,
  title = {Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version)},
  author = {Florian Zuleger and Sumit Gulwani and Moritz Sinn and Helmut Veith},
  year = {2012},
  url = {https://arxiv.org/abs/1203.5303},
  note = {Source identifier: 1203.5303}
}