@misc{indiciaea957cdb15329,
  title = {Old and New Benchmarks for Relative Termination of String Rewrite Systems},
  author = {Dieter Hofbauer and Johannes Waldmann},
  year = {2023},
  url = {https://arxiv.org/abs/2307.14149},
  note = {Source identifier: 2307.14149}
}