@misc{indiciae557a7024be05,
  title = {An Implementation of Nested Pattern Matching in Interaction Nets},
  author = {Abubakar Hassan and Eugen Jiresch and Shinya Sato},
  year = {2010},
  doi = {10.4204/eptcs.21.2},
  url = {https://arxiv.org/abs/1003.4562},
  note = {Source identifier: 1003.4562}
}