A Ramsey-type theorem for traceable graphs
finitely generated infinite lattice of length three
scientific article; zbMATH DE number 3749049