X. Xu, M. Liang, and S. P. Radziszowski, “Chromatic Vertex Folkman Numbers”, Electron. J. Combin., vol. 27, no. 3, p. P3.53, Sep. 2020.