Simplification by Cooperating Decision Procedures
Distribution of the number of citations over years.