@inproceedings{FGGZ07, author = {H. Fournier and D. Gardy and A. Genitrini and M. Zaionc}, title = {Classical and Intuitionistic Logic Are Asymptotically Identical}, booktitle = {Annual Conference on Computer Science Logic (CSL)}, howpublished = {LNCS 4646}, editor = {Springer-Verlag}, address = {Lausanne, Swiss}, year = {2007}, pages = {177--193}, doi = {10.1007/978-3-540-74915-8_16}, ee = {http://dx.doi.org/10.1007/978-3-540-74915-8_16} }