L. Aszalós and T. Herendi, “Density of tautologies in logics with one variable”, Acta Cybern, vol. 20, no. 3, pp. 385-398, Jan. 2012.