@misc{indiciaec7aab9e81982,
  title = {Certifying Higher-Order Polynomial Interpretations},
  author = {Niels van der Weide and Deivid Vale and Cynthia Kop},
  year = {2023},
  doi = {10.4230/lipics.itp.2023.30},
  url = {https://arxiv.org/abs/2302.11892},
  note = {Source identifier: 2302.11892}
}