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, v. 8, n. 1, p. N9, 20 Oct. 2001.