Simplification Orders for Term Graph Rewriting.

Detlef Plump

Browse the full MFCS paper archive.