Improved Algorithms for the Automata-Based Approach to Model-Checking
Distribution of the number of citations over years.