@article{DBLP:journals/eccc/ECCC-TR01-075,
author = {Alexander A. Razborov},
title = {Resolution Lower Bounds for the Weak Functional Pigeonhole
Principle},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
volume = {8},
number = {075},
year = {2001},
ee = {http://eccc.hpi-web.de/eccc-reports/2001/TR01-075/index.html},
bibsource = {DBLP, http://dblp.uni-trier.de}
}