@misc{indiciae22239f38bd7a,
  title = {Safety alternating automata on data words},
  author = {Ranko Lazic},
  year = {2010},
  url = {https://arxiv.org/abs/0802.4237},
  note = {Source identifier: 0802.4237}
}