Charles Landraitis Definability in Well Quasi-Ordered Sets of Structures. 289-291 1977 42 J. Symb. Log. 2 db/journals/jsyml/jsyml42.html#Landraitis77