TY  - RPRT
TI  - Branching Bisimilarity on Normed BPA Is EXPTIME-complete
AU  - Chaodong He
AU  - Mingzhang Huang
PY  - 2015
UR  - https://arxiv.org/abs/1501.04748
ID  - 1501.04748
ER  -