Permutation Backtracking in Lexicographic Order.
« Lexicographical Ordering, Premodern »
Lexicographic Products of Linear Orderings