TY  - RPRT
TI  - Detecting Useless Transitions in Pushdown Automata
AU  - Wan Fokkink
AU  - Dick Grune
AU  - Brinio Hond
AU  - Peter Rutgers
PY  - 2013
UR  - https://arxiv.org/abs/1306.1947
ID  - 1306.1947
ER  -