N. Nenov, “On the (3,4)-Ramsey graphs without 9-cliques”, Ann. Sofia Univ. Fac. Math. and Inf., vol. 85, pp. 71–81, Dec. 1993.