@misc{indiciaed25cd29f0903,
  title = {Level-Confluence of 3-CTRSs in Isabelle/HOL},
  author = {Christian Sternagel and Thomas Sternagel},
  year = {2016},
  url = {https://arxiv.org/abs/1602.07115},
  note = {Source identifier: 1602.07115}
}