Annegret Habel Detlef Plump Complete Strategies for Term Graph Narrowing. 152-167 https://doi.org/10.1007/3-540-48483-3_11 1998 conf/wadt/1998 WADT db/conf/wadt/wadt98.html#HabelP98