@misc{indiciae0d747346e8f9,
  title = {Reasoning about Data Repetitions with Counter Systems},
  author = {Stephane Demri and Diego Figueira and M Praveen},
  year = {2016},
  doi = {10.2168/lmcs-12(3:1)2016},
  url = {https://arxiv.org/abs/1604.02887},
  note = {Source identifier: 1604.02887}
}