Joseph Lauer, Nicholas C. Wormald. Large independent sets in regular graphs of large girth. Journal of Combinatorial Theory, Series A, 97(6):999-1009, 2007. [doi]
@article{LauerW07, title = {Large independent sets in regular graphs of large girth}, author = {Joseph Lauer and Nicholas C. Wormald}, year = {2007}, doi = {10.1016/j.jctb.2007.02.006}, url = {http://dx.doi.org/10.1016/j.jctb.2007.02.006}, tags = {graph-rewriting, C++, rewriting}, researchr = {https://researchr.org/publication/LauerW07}, cites = {0}, citedby = {0}, journal = {Journal of Combinatorial Theory, Series A}, volume = {97}, number = {6}, pages = {999-1009}, }