@misc{indiciae903fb0ae7841,
  title = {Loop Summarization with Rational Vector Addition Systems (extended version)},
  author = {Jake Silverman and Zachary Kincaid},
  year = {2019},
  url = {https://arxiv.org/abs/1905.06495},
  note = {Source identifier: 1905.06495}
}