Hereditary History Preserving Bisimilarity Is Undecidable.

Marcin Jurdzinski, Mogens Nielsen

Browse the full STACS paper archive.