A Computing Procedure for Quantification Theory
Distribution of the number of citations over years.