C. Lai, “A Lower Bound for the Number of Edges in a Graph Containing No Two Cycles of the Same Length”, Electron. J. Combin., vol. 8, no. 1, p. N9, Oct. 2001.