TY  - RPRT
TI  - Visibly pushdown automata on trees: universality and u-universality
AU  - Véronique Bruyère
AU  - Marc Ducobu
AU  - Olivier Gauwin
PY  - 2012
UR  - https://arxiv.org/abs/1205.2841
ID  - 1205.2841
ER  -