@article {419,
	title = {Linearizing well-quasi orders and bounding the length of bad sequences},
	journal = {Theoretical Computer Science},
	volume = {603},
	year = {2015},
	pages = {3{\textendash}22},
	author = {Sergio Abriola and Santiago Figueira and Gabriel Senno}
}
