Jancar, P., and J. Srba. “Undecidability Results for Bisimilarity on Prefix Rewrite Systems”. BRICS Report Series, vol. 13, no. 7, Apr. 2006, doi:10.7146/brics.v13i7.21913.