(1)
Srba, J. Complexity of Weak Bisimilarity and Regularity for BPA and BPP. BRICS 2000, 7.