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