The Decidability of the First-Order Theory of Knuth-Bendix Order.

Ting Zhang, Henny B. Sipma, Zohar Manna

Browse the full CADE paper archive.