Detlef Plump Simplification Orders for Term Graph Rewriting. 458-467 1997 conf/mfcs/1997 MFCS db/conf/mfcs/mfcs97.html#Plump97 https://doi.org/10.1007/BFb0029989