@misc{indiciae8b37c2374ad9,
  title = {Tuple Interpretations for Higher-Order Rewriting},
  author = {Deivid Vale and Cynthia Kop},
  year = {2021},
  url = {https://arxiv.org/abs/2105.01112},
  note = {Source identifier: 2105.01112}
}