@article{GK12, author = {A. Genitrini and J. Kozik}, title = {In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid}, journal = {{A}nnals of {P}ure and {A}pplied {L}ogic}, volume = {163}, number = {7}, year = {2012}, pages = {875--887}, doi = {10.1016/j.apal.2011.09.011}, ee = {http://dx.doi.org/10.1016/j.apal.2011.09.011} }