J. Lyle, “A Note on Independent Sets in Graphs with Large Minimum Degree and Small Cliques”, Electron. J. Combin., vol. 21, no. 2, p. P2.38, May 2014.