A Temporal Logic for Reasoning about Processes and Plans*
Distribution of the number of citations over years.