Unifying the Knuth-Bendix, recursive path and polynomial orders.

Akihisa Yamada, Keiichirou Kusakari, Toshiki Sakabe

Browse the full PPDP paper archive.