Branching Bisimilarity of Normed BPA Processes Is in NEXPTIME
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science
Wojciech Czerwinski