Thomassen, 1983. Girth in graphs 35.. https://doi.org/10.1016/0095-8956(83)90067-9