Term graph rewriting (1987)

by H P BARENDREGT, M C J D VAN EEKELEN, J R W GLAUERT, J R KENNAWAY, M J PLASMEIJER, M R SLEEP
Venue:In Proc. PARLE 87