Explicit Provability and Constructive Semantics
Distribution of the number of citations over years.