@misc{indiciae2e7d5846a8b3,
  title = {Formalising Confluence in PVS},
  author = {Mauricio Ayala-Rincón},
  year = {2016},
  doi = {10.4204/eptcs.204.2},
  url = {https://arxiv.org/abs/1603.00975},
  note = {Source identifier: 1603.00975}
}