@misc{indiciae131d7157db6b,
  title = {Decidable models of integer-manipulating programs with recursive parallelism (technical report)},
  author = {Matthew Hague and Anthony Widjaja Lin},
  year = {2016},
  url = {https://arxiv.org/abs/1605.06868},
  note = {Source identifier: 1605.06868}
}