FernandezM03'

@article{DBLP:journals/tcs/FernandezM03,
  author    = {Maribel Fern{\'a}ndez and
               Ian Mackie},
  title     = {Operational equivalence for interaction nets},
  journal   = {Theor. Comput. Sci.},
  volume    = {297},
  number    = {1-3},
  year      = {2003},
  pages     = {157-181},
  ee        = {http://dx.doi.org/10.1016/S0304-3975(02)00637-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}