H. Fournier, D. Gardy, A. Genitrini, and M. Zaionc, Classical and Intuitionistic Logic Are Asymptotically Identical, CSL, pp.177-193, 2007.
DOI : 10.1007/978-3-540-74915-8_16

URL : https://hal.archives-ouvertes.fr/hal-00530534

P. Flajolet and R. Sedgewick, Analytic combinatorics. in preparation, 2008.
DOI : 10.1017/cbo9780511801655

URL : https://hal.archives-ouvertes.fr/inria-00072739

A. Genitrini, J. Kozik, and M. Zaionc, Intuitionistic vs. Classical Tautologies, Quantitative Comparison, Lecture Notes in Computer Science, vol.4941, pp.100-109, 2007.
DOI : 10.1007/978-3-540-68103-8_7

URL : https://hal.archives-ouvertes.fr/hal-00530530

Z. Kostrzycka and M. Zaionc, Statistics of Intuitionistic versus Classical Logics, Studia Logica, vol.76, issue.3, pp.307-328, 2004.
DOI : 10.1023/B:STUD.0000032101.88511.93

M. Moczurad, J. Tyszkiewicz, and M. Zaionc, Statistical properties of simple types, Mathematical Structures in Computer Science, vol.10, issue.5, pp.575-594, 2000.
DOI : 10.1017/S0960129599002959

M. Zaionc, Probability distribution for simple tautologies, Theoretical Computer Science, vol.355, issue.2, pp.243-260, 2006.
DOI : 10.1016/j.tcs.2006.01.002