Well quasi-ordered sets (1990)

by F Richman, G Stolzenberg