Vasek Chvátal, Endre Szemerédi. Many Hard Examples for Resolution. Journal of the ACM, 35(4):759-768, 1988. [doi]
@article{ChvatalS88:0, title = {Many Hard Examples for Resolution}, author = {Vasek Chvátal and Endre Szemerédi}, year = {1988}, doi = {10.1145/48014.48016}, url = {http://doi.acm.org/10.1145/48014.48016}, researchr = {https://researchr.org/publication/ChvatalS88%3A0}, cites = {0}, citedby = {0}, journal = {Journal of the ACM}, volume = {35}, number = {4}, pages = {759-768}, }