Term graph narrowing - Habel, Annegret; Plump, Detlef (Hildesheimer Informatik-Berichte, 1996)