@misc{indiciae188bdc154490,
  title = {Termination of Innermost-Terminating Right-Linear Overlay Term Rewrite Systems},
  author = {Naoki Nishida},
  year = {2026},
  url = {https://arxiv.org/abs/2604.20754},
  note = {Source identifier: 2604.20754}
}