@misc{indiciae442b49ed20a2,
  title = {Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus},
  author = {Beniamino Accattoli and Delia Kesner},
  year = {2012},
  doi = {10.2168/lmcs-8(1:28)2012},
  url = {https://arxiv.org/abs/1203.0670},
  note = {Source identifier: 1203.0670}
}