Srba J. Complexity of Weak Bisimilarity and Regularity for BPA and BPP. BRICS [Internet]. 2000 Jan. 16 [cited 2024 Apr. 17];7(16). Available from: https://tidsskrift.dk/brics/article/view/20143