Jean-Pierre Duval Factorizing Words over an Ordered Alphabet. 363-381 1983 4 J. Algorithms 4 db/journals/jal/jal4.html#Duval83 http://dx.doi.org/10.1016/0196-6774(83)90017-2