Szemerédi–Trotter theorem asserts that given $n$ points and $m$ lines in the plane, the number of incidences (i.e., the number of point-line pairs, such that the point lies on the line) is:

$O((mn)^{\frac{2}{3}}+m+n).$

I was wondering how many different proofs are known for this theorem? Is there any survey or references for these proofs? I know there are two proofs here https://www.cs.princeton.edu/~zdvir/papers/Dvir-survey.pdf