@misc{indiciae64bf15a2b105,
  title = {The Computability Path Order for Beta-Eta-Normal Higher-Order Rewriting (Full Version)},
  author = {Johannes Niederhauser and Aart Middeldorp},
  year = {2025},
  doi = {10.1007/978-3-031-99984-0\_12},
  url = {https://arxiv.org/abs/2505.20121},
  note = {Source identifier: 2505.20121}
}