A Ramsey theorem for trees
scientific article; zbMATH DE number 3668650