CRANSTON, D. W.; RABERN, L. Planar Graphs have Independence Ratio at least 3/13. The Electronic Journal of Combinatorics, v. 23, n. 3, p. P3.45, 2 Sep. 2016.