P. Jancar og J. Srba, “Undecidability Results for Bisimilarity on Prefix Rewrite Systems”, BRICS, bd. 13, nr. 7, apr. 2006.