Implementing X (0)

by S van Bakel, J Raghunandan
Venue:Electronic Proceedings of Second International Workshop on Term Graph Rewriting 2004 (TermGraph’04