(1)
Jancar, P.; Srba, J. Undecidability Results for Bisimilarity on Prefix Rewrite Systems. BRICS 2006, 13.