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

Akihisa Yamada, Keiichirou Kusakari, Toshiki Sakabe (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics