ON SKOLEMIZATION AND PROOF COMPLEXITY
Distribution of the number of citations over years.