Linearizing well quasi-orders and bounding the length of bad sequences

Sergio Abriola, Santiago Figueira, Gabriel Senno. Linearizing well quasi-orders and bounding the length of bad sequences. Theoretical Computer Science, 603:3-22, 2015. [doi]

Abstract

Abstract is missing.