Rasiowa–Sikorski deduction systems in computer science applications
Distribution of the number of citations over years.