Large independent sets in regular graphs of large girth. - Joseph Lauer; Nicholas C. Wormald (J. Comb. Theory B, 2007)