@misc{indiciae465bac4baa43,
  title = {Feasible Automata for Two-Variable Logic with Successor on Data Words},
  author = {Ahmet Kara and Thomas Schwentick and Tony Tan},
  year = {2011},
  url = {https://arxiv.org/abs/1110.1221},
  note = {Source identifier: 1110.1221}
}