@misc{indiciae8f25477185df,
  title = {Proof Diagrams for Multiplicative Linear Logic},
  author = {Matteo Acclavio},
  year = {2017},
  doi = {10.4204/eptcs.238.2},
  url = {https://arxiv.org/abs/1606.09016},
  note = {Source identifier: 1606.09016}
}