Modes of Convergence for Term Graph Rewriting (Logical Methods in Computer Science, 2012)