Nenov, N. 1994. A lower bound for the number of vertices of some Ramsey graphs. Ann. Sofia Univ. Fac. Math. and Inf. 86, 1 (Dec. 1994), 11–25.