Term graph rewriting (1987)

by H Barendregt, M van Eekelen, J Glauert, R Kenneway, M J Plasmeijer, M Sleep
Venue:In PARLE’87