Semagraph: the Theory and Practice of Term Graph Rewriting
Ronan Sleep · Electronic Notes in Theoretical Computer Science · 1995
Semagraph II is a working group (WG 6345) supported by the CEC basic research directorate. The main aim of Semagraph II has been to mature and promulgate the research results and prototypes developed during the Semagraph I Basic Research Action (BRA 3074). This note outlines the aims and achievements of Semagraph, and provides references to key results.