Lyle, J. A Note on Independent Sets in Graphs With Large Minimum Degree and Small Cliques. Electron. J. Combin. 2014, 21, P2.38.