Linearizing well quasi-orders and bounding the length of bad sequences | Publicación