Cranston, D. W., and L. Rabern. “Planar Graphs Have Independence Ratio at Least 3/13”. The Electronic Journal of Combinatorics, Vol. 23, no. 3, Sept. 2016, p. P3.45, doi:10.37236/5309.