Capture avoidance and garbage collection for X (0)

by S van Bakel, J Raghunandan
Venue:Presented at the Third International Workshop on Term Graph Rewriting 2006 (TermGraph’06