@misc{indiciae846be6eb00a5,
  title = {Extending Büchi Automata with Constraints on Data Values},
  author = {Ahmet Kara and Tony Tan},
  year = {2012},
  url = {https://arxiv.org/abs/1012.5439},
  note = {Source identifier: 1012.5439}
}