Aszalós, László, and Tamás Herendi. 2012. “Density of Tautologies in Logics With One Variable”. Acta Cybernetica 20 (3), 385-98. https://doi.org/10.14232/actacyb.20.3.2012.2.