@misc{indiciaef97d86481084,
  title = {MALL proof nets identify proofs modulo rule commutation},
  author = {Rob van Glabbeek and Dominic Hughes},
  year = {2016},
  url = {https://arxiv.org/abs/1609.04693},
  note = {Source identifier: 1609.04693}
}