Differential-algebraic Dynamic Logic for Differential-algebraic Programs
Distribution of the number of citations over years.