First-Order Logic and Automated Theorem Proving
Distribution of the number of citations over years.