Term-graph rewriting via explicit paths (2008)

Cached

Download Links

by Emilie Balland , Pierre-Etienne Moreau