Unifying the Knuth-Bendix, recursive path and polynomial orders, in (0)

by A Yamada, K Kusakari, T Sakabe
Venue:Proceedings of 15th International Symposium on Principles and Practice of Declarative Programming (PPDP