Graph rewriting using the annotated functional strategy (1993)

by P W M Koopman, J E W Smetsers, M C J D van Eekelen, M J Plasmeijer
Venue:In Term Graph Rewriting: Theory and Practice