Aszalós László and Herendi Tamás: Density of tautologies in logics with one variable. In: Acta cybernetica, (20) 3. pp. 385-398. (2012)
Herendi Tamás: Uniform distribution of linear recurrence sequences in residue class systems : [abstract].