Complexity of weak bisimilarity and regularity for BPA and BPP

J. Srba, "Complexity of weak bisimilarity and regularity for BPA and BPP", Mathematical Structures in Computer Science, vol. 13, no. 4, pp. 567-587, 2003.

2003