Kolev, N.; Nenov, N. On the 2-Coloring Diagonal Vertex Folkman Numbers With Minimal Possible Clique Number. Ann. Sofia Univ. Fac. Math. and Inf. 2008, 98, 101-126.