N. Kolev and N. Nenov, “On the 2-coloring diagonal vertex Folkman numbers with minimal possible clique number”, Ann. Sofia Univ. Fac. Math. and Inf., vol. 98, pp. 101–126, Dec. 2008.