Ordinals and Knuth-Bendix Orders.

Sarah Winkler, Harald Zankl, Aart Middeldorp

Browse the full LPAR paper archive.