@inproceedings{GKZ07, author = {A. Genitrini and J. Kozik and M. Zaionc}, title = {Intuitionistic vs. Classical Tautologies, Quantitative Comparison}, booktitle = {TYPES}, address = {Cividale del Friuli, Italie}, editor = {Springer-Verlag}, month = {May}, year = {2007}, pages = {100--109}, doi = {10.1007/978-3-540-68103-8_7}, ee = {http://dx.doi.org/10.1007/978-3-540-68103-8_7} }