@misc{indiciaea018aa8f282c,
  title = {Taming Past LTL and Flat Counter Systems},
  author = {Stéphane Demri and Amit Kumar Dhar and Arnaud sangnier},
  year = {2013},
  url = {https://arxiv.org/abs/1205.6584},
  note = {Source identifier: 1205.6584}
}