@misc{indiciaef2483e8fb5aa,
  title = {A Proof Theoretic Analysis of Intruder Theories},
  author = {Alwen F Tiu and Rajeev Gore and Jeremy Dawson},
  year = {2010},
  doi = {10.2168/lmcs-6(3:12)2010},
  url = {https://arxiv.org/abs/1005.4508},
  note = {Source identifier: 1005.4508}
}