@inproceedings(ACW09,
 author       = "Rajeev Alur and Pavol Cern{\'y} and Scott Weinstein",
 year         = "2009",
 title        = "Algorithmic Analysis of Array-Accessing Programs",
 booktitle    = "CSL'09, LNCS 5771",
 pages        = "86--101",
 doi          = "10.1007/978-3-642-04027-6\_9",
 note         = "Also available as a technical report, \url {http://repository.upenn.edu/cis_reports/894/}",
)
@inproceedings(BB07,
 author       = "Henrik Bj\"{o}rklund and Mik{\l }oj Bojanczyk",
 year         = "2007",
 title        = "Bounded depth data trees",
 booktitle    = "In ICALP' 07",
 pages        = "862--874",
 doi          = "10.1007/978-3-540-73420-8\_74",
)
@inproceedings(BL10,
 author       = "Miko{\l }aj Boja\'{n}czyk and S{\l }awomir Lasota",
 year         = "2010",
 title        = "An extension of data automata that captures {XPath}",
 booktitle    = "LICS '10",
 pages        = "243--252",
 doi          = "10.1109/LICS.2010.33",
)
@inproceedings(BMS+06,
 author       = "Miko{\l }aj Bojanczyk and Anca Muscholl and Thomas Schwentick and Luc Segoufin and Claire David",
 year         = "2006",
 title        = "Two-Variable Logic on Words with Data",
 booktitle    = "LICS '06",
 pages        = "7--16",
 doi          = "10.1109/LICS.2006.51",
)
@phdthesis(Rei05,
 author       = "K. Reinhardt",
 year         = "2005",
 title        = "Counting as Method, Model and Task in Theoretical Computer Science",
 type         = "Habilitation thesis",
 school       = "Universit\"{a}t T\"{u}bingen",
)
@inproceedings(Seg06,
 author       = "Luc Segoufin",
 year         = "2006",
 title        = "Automata and Logics for Words and Trees over an Infinite Alphabet",
 booktitle    = "CSL, LNCS 4207",
 pages        = "41--57",
 doi          = "10.1007/11874683\_3",
)
@misc(Wu11,
 author       = "Zhilin Wu",
 year         = "2011",
 title        = "A decidable extension of data automata",
 note         = "Manuscript, avialable at \url {http://lcs.ios.ac.cn/ wuzl/wu-gandalf11.pdf}",
)