Hereditary history preserving simulation is undecidable (1999)

by M Nielsen, M Jurdzinski
Venue:Research Series RS-99-1, BRICS