TERMGRAPH - Computing with Terms and Graphs