Interaction Nets and Term Rewriting Systems (1998)

by Maribel Fernández, Ian Mackie