Non-resolution theorem proving
Distribution of the number of citations over years.