Michal Kunc: The Trace Coding Problem Is Undecidable. ICALP 2001: 603-614