Counting arithmetic formulas. - Edinah K. Gnang; Maksym Radziwill; Carlo Sanna (Eur. J. Comb., 2015)