@misc{indiciaee13b78943a6b,
  title = {An Applicative Multiset Path Order (Extended Version)},
  author = {Nao Hirokawa and Teppei Saito and Teppei Tanaka and Wataru Yachi},
  year = {2026},
  url = {https://arxiv.org/abs/2610.02973},
  note = {Source identifier: 2610.02973}
}