Jan Willem Klop Term Graph Rewriting. 1-16 1995 conf/hoa/1995 HOA db/conf/hoa/hoa95.html#Klop95