Term graph rewriting (1987)

by Plasmeijer, M R Sleep
Venue:In Proc. PARLE 87