A Deductive Approach to Program Synthesis
Distribution of the number of citations over years.