E. Nedialkov and N. Nenov, “Computation of the Vertex Folkman Numbers $F(2,2,2,4;6)$ and $F(2,3,4;6)$”, Electron. J. Combin., vol. 9, no. 1, p. R9, Feb. 2002.