TY - RPRT TI - On the Expressive Power of 2-Stack Visibly Pushdown Automata AU - Benedikt Bollig PY - 2008 DO - 10.2168/lmcs-4(4:16)2008 UR - https://arxiv.org/abs/0812.2423 ID - 0812.2423 ER -