@misc{indiciaeeb8945e90ad9,
  title = {Probabilistic Relational Reasoning via Metrics},
  author = {Arthur Azevedo de Amorim and Marco Gaboardi and Justin Hsu and Shin-ya Katsumata},
  year = {2019},
  url = {https://arxiv.org/abs/1807.05091},
  note = {Source identifier: 1807.05091}
}