François Dross, Mickaël Montassier, Alexandre Pinlou: A lower bound on the order of the largest induced forest in planar graphs with high girth. Discret. Appl. Math. 214: 99-107 (2016)