Lai, C. “A Lower Bound for the Number of Edges in a Graph Containing No Two Cycles of the Same Length”. The Electronic Journal of Combinatorics, Vol. 8, no. 1, Oct. 2001, p. N9, doi:10.37236/1594.