MECHANIZATION OF REAL-TIME LINEAR CSP WITH HIGHER ORDER LOGIC
Distribution of the number of citations over years.