The functional strategy and transitive term rewriting systems (1993)

by Y Toyama, S Smetsers, M van Eekelen, R Plasmeijer
Venue:In Term Graph Rewriting: Theory and Practice