Jancar, Petr, and Jirí Srba. “Undecidability Results for Bisimilarity on Prefix Rewrite Systems”. BRICS Report Series 13, no. 7 (April 12, 2006). Accessed January 20, 2026. https://tidsskrift.dk/brics/article/view/21913.