@misc{indiciaee6ba260df800,
  title = {Symbolic Register Automata},
  author = {Loris D'Antoni and Tiago Ferreira and Matteo Sammartino and Alexandra Silva},
  year = {2019},
  url = {https://arxiv.org/abs/1811.06968},
  note = {Source identifier: 1811.06968}
}