TY  - RPRT
TI  - A Polynomial Time Algorithm for Deciding Branching Bisimilarity on Totally Normed BPA
AU  - Chaodong He
PY  - 2014
UR  - https://arxiv.org/abs/1411.4157
ID  - 1411.4157
ER  -