@misc{indiciaed8fa41f016d3,
  title = {RPP: Automatic Proof of Relational Properties by Self-Composition},
  author = {Lionel Blatter and Nikolai Kosmatov and Pascale Le Gall and Virgile Prevosto},
  year = {2017},
  url = {https://arxiv.org/abs/1606.00678},
  note = {Source identifier: 1606.00678}
}