@misc{indiciaebd3efbe582f7,
  title = {Contraction-free proofs and finitary games for Linear Logic},
  author = {André Hirschowitz and Michel Hirschowitz and Tom Hirschowitz},
  year = {2009},
  doi = {10.1016/j.entcs.2009.07.095},
  url = {https://arxiv.org/abs/0905.4064},
  note = {Source identifier: 0905.4064}
}