Graph-Based Algorithms for Boolean Function Manipulation
Distribution of the number of citations over years.