P. Jancar and J. Srba, “Undecidability Results for Bisimilarity on Prefix Rewrite Systems”, BRICS, vol. 13, no. 7, Apr. 2006.