Term-graph rewriting via explicit paths (0)

by E BALLAND, P-E MOREAU
Venue:in "RTA: International Conference on Rewriting Techniques and Applications RTA Lecture Notes in Computer Science, Autriche Hagenberg