@misc{indiciae9c0adda924ae,
  title = {YAPA: A generic tool for computing intruder knowledge},
  author = {Mathieu Baudet and Véronique Cortier and Stéphanie Delaune},
  year = {2010},
  url = {https://arxiv.org/abs/1005.0737},
  note = {Source identifier: 1005.0737}
}