Derivational Complexity of Knuth-Bendix Orders Revisited.

Georg Moser

Browse the full LPAR paper archive.