Aszalós, L., & Herendi, T. (2012). Density of tautologies in logics with one variable. Acta Cybernetica, 20(3), 385-398. https://doi.org/10.14232/actacyb.20.3.2012.2