Ramsey degrees of bipartite graphs: a primitive recursive proof
scientific article; zbMATH DE number 2173234