Direct Ramsey theorem for structures involving relations and functions
scientific article; zbMATH DE number 5991558