@inproceedings{benedikt-ley-puppis-csl,
  title = "Automata vs. Logics on Data Words",
  author = "Michael Benedikt and Clemens Ley and Gabriele Puppis",
  year = "2010",
  journal = "EACSL Annual Conference on Computer Science Logic",
}