Nenov, N. “A Lower Bound for the Number of Vertices of Some Ramsey Graphs”. Ann. Sofia Univ. Fac. Math. And Inf., vol. 86, no. 1, Dec. 1994, pp. 11-25, https://ftl5.uni-sofia.bg/index.php/fmi/article/view/430.