24 citations · 60 across the 9 of their papers we have counts for
1 paper · 1 filter
Andrea Corradini, Frank Drewes
The relationship between Term Graph Rewriting and Term Rewriting is well understood: a single term graph reduction may correspond to several term reductions, due to sharing. It is…