Flavio D'Alessandro Gwénaël Richomme Stefano Varricchio Well quasi-orders generated by a word-shuffle rewriting. 73-92 2007 377 Theor. Comput. Sci. 1-3 http://dx.doi.org/10.1016/j.tcs.2007.02.007 db/journals/tcs/tcs377.html#DAlessandroRV07