An introduction to term graph rewriting