@article{3957,
  title = "Automata vs. Logics on Data Words",
  author = "Michael Benedikt and Clemens Ley and Gabriele Puppis",
  year = "2010",
  journal = "CSL'10: Proceedings of the 19th Annual Conference on Computer Science Logic",
}