Logic Programming with Focusing Proofs in Linear Logic
Distribution of the number of citations over years.