An extension of a term rewriting system which uses {graph reduction} on terms represented by {directed graph}s to avoid duplication of work by sharing expressions.

In addition suitable contents:
[ = ] [ am ] [ ar ] [ arc ] [ at ] [ av ] [ b ] [ by ] [ ca ] [ cat ] [ ch ] [ directed graph ] [ du ] [ ec ] [ ed ] [ edu ] [ er ] [ es ] [ expression ] [ extension ] [ fi ] [ file ] [ gr ] [ graph ] [ graph reduction ] [ h ] [ hr ] [ id ] [ il ] [ in ] [ io ] [ ir ] [ it ] [ Lex ] [ li ] [ mo ] [ mod ] [ module ] [ ms ] [ na ] [ ng ] [ ns ] [ ph ] [ pl ] [ pr ] [ query ] [ rc ] [ re ] [ reduction ] [ se ] [ sh ] [ shar ] [ si ] [ st ] [ sy ] [ system ] [ term rewriting system ] [ to ] [ up ] [ us ] [ writing system ]