@misc{indiciaeefee30678d76,
  title = {A short proof that adding some permutation rules to \$β\$ preserves \$SN\$},
  author = {Rene David},
  year = {2010},
  doi = {10.1016/j.tcs.2010.10.048},
  url = {https://arxiv.org/abs/1011.1335},
  note = {Source identifier: 1011.1335}
}