Knuth_Bendix_Order

Order_Pair

Lexicographic_Extension

KBO