@article{BL12lmcs, author = {Miko{\l}aj Boja{\'n}czyk and S{\l}awomir Lasota}, title = {An extension of data automata that captures {XPath}}, journal = {Logical Methods in Computer Science}, year = 2012, number = {1:05}, volume = {8}, pages = {1-28}, publisher = {} }