@misc{indiciaec333599a9a8d,
  title = {On Decidable Growth-Rate Properties of Imperative Programs},
  author = {Amir M. Ben-Amram},
  year = {2010},
  doi = {10.4204/eptcs.23.1},
  url = {https://arxiv.org/abs/1005.0518},
  note = {Source identifier: 1005.0518}
}