Jancar, Petr, og Jirí Srba. “Undecidability Results for Bisimilarity on Prefix Rewrite Systems”. BRICS Report Series, bd. 13, nr. 7, april 2006, doi:10.7146/brics.v13i7.21913.