From Term Rewriting to Generalised Interaction Nets (1996)

by M Fernández, I Mackie
Venue:In: Proceedings of PLILP’96. Programming Languages: Implementations, Logics, and Programs, Lecture Notes in Computer Science 1140, Springer-Verlag. Available at