@misc{indiciae13126e1bb3da,
  title = {A proof theoretic analysis of intruder theories},
  author = {Alwen Tiu and Rajeev Gore},
  year = {2009},
  url = {https://arxiv.org/abs/0804.0273},
  note = {Source identifier: 0804.0273}
}