Branching bisimilarity is decidable for context-free processes", Proc
Branching Bisimilarity of Normed BPA Processes Is in NEXPTIME