A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution
Distribution of the number of citations over years.