Cranston, D. W.; Rabern, L. Planar Graphs Have Independence Ratio at Least 3/13. Electron. J. Combin. 2016, 23, P3.45.