@misc{indiciaeb80cdd214a19,
  title = {Decreasing Diagrams and Relative Termination},
  author = {Nao Hirokawa and Aart Middeldorp},
  year = {2009},
  url = {https://arxiv.org/abs/0910.2853},
  note = {Source identifier: 0910.2853}
}