TY  - RPRT
TI  - Cut-elimination and the decidability of reachability in alternating pushdown systems
AU  - Gilles Dowek
AU  - Ying Jiang
PY  - 2014
UR  - https://arxiv.org/abs/1410.8470
ID  - 1410.8470
ER  -