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