Well quasi-orders and context-free grammars
scientific article; zbMATH DE number 2126128