NEDIALKOV, E.; NENOV, N. Computation of the Vertex Folkman Numbers $F(2,2,2,4;6)$ and $F(2,3,4;6)$. The Electronic Journal of Combinatorics, v. 9, n. 1, p. R9, 26 Feb. 2002.