@misc{indiciaef8c74993a028,
  title = {POR for Security Protocol Equivalences: Beyond Action-Determinism},
  author = {David Baelde and Stéphanie Delaune and Lucca Hirschi},
  year = {2018},
  url = {https://arxiv.org/abs/1804.03650},
  note = {Source identifier: 1804.03650}
}