Zena M. Ariola Jan Willem Klop Equational Term Graph Rewriting. 207-240 1996 26 Fundam. Inform. 3/4 db/journals/fuin/fuin26.html#AriolaK96