Logic programs with stable model semantics as a constraint programming paradigm
Distribution of the number of citations over years.