TY  - RPRT
TI  - Alternating Automata on Data Trees and XPath Satisfiability
AU  - Marcin Jurdzinski
AU  - Ranko Lazic
PY  - 2010
UR  - https://arxiv.org/abs/0805.0330
ID  - 0805.0330
ER  -