An Applicative Multiset Path Order (Extended Version)

Nao Hirokawa, Teppei Saito, Teppei Tanaka +1

We present a variant of the multiset path order for untyped applicative term rewriting. Compared to existing work, our variant incorporates two distinctive features, dubbed arity a…