Interaction nets and term rewriting systems (extended abstract (1996)

by Maribel Fern'andez, Ian Mackie
Venue:Trees in Algebra and Programming -- CAAP'96, number 1059 in LNCS