An Applicative Multiset Path Order.

Nao Hirokawa, Teppei Saito, Teppei Tanaka, Wataru Yachi

Browse the full IJCAR paper archive.