@misc{indiciaeecedbc662c88,
  title = {A method for unbounded verification of privacy-type properties},
  author = {Lucca Hirschi and David Baelde and Stéphanie Delaune},
  year = {2019},
  url = {https://arxiv.org/abs/1710.02049},
  note = {Source identifier: 1710.02049}
}