@misc{indiciae8f392b97f0e2,
  title = {Layer Systems for Proving Confluence},
  author = {Bertram Felgenhauer and Aart Middeldorp and Harald Zankl and Vincent van Oostrom},
  year = {2015},
  doi = {10.1145/2710017},
  url = {https://arxiv.org/abs/1404.1225},
  note = {Source identifier: 1404.1225}
}