E. Nedialkov and N. Nenov, “Each 11-vertex graph without 4-cliques has a triangle-free 2-partition of vertices”, Ann. Sofia Univ. Fac. Math. and Inf., vol. 91, pp. 127–147, Dec. 1999.