@INPROCEEDINGS{blp10B,
  author = {M. Benedikt and C. Ley and G. Puppis},
  title = {Automata vs. Logics on Data Words},
  booktitle = {Proceedings of the 19th Annual Conference on Computer Science Logic (CSL)},
  year = {2010},
  pages = {110-124},
  series = {LNCS},
  volume = {6247},
  publisher = {Springer}
}