Termination of graph rewriting is undecidable - Plump, Detlef (Informatik, 1997)