A Machine-Oriented Logic Based on the Resolution Principle
Distribution of the number of citations over years.