Jurdzinski, M.; Nielsen, M. Hereditary History Preserving Bisimilarity Is Undecidable. BRICS 1999, 6.