@InProceedings{BL10,
  author      = {Miko{\l}aj Boja{\'n}czyk and S{\l}awomir Lasota},
  title       = {An extension of data automata that captures XPath},
  booktitle   = {Proc. LICS'10},
  year        = 2010,
  pages       = {243-252},
  publisher   = {}
}