Term graph rewriting