Kolev, N., 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, Dec. 2008, pp. 101-26, https://stipendii.uni-sofia.bg/index.php/fmi/article/view/132.