@article{HoorySzeider06,
 author = {Shlomo Hoory and Stefan Szeider},
 journal = {SIAM J. Discrete Math.},
 number = {2},
 pages = {523-528},
 title = {A note on unsatisfiable k-{CNF} formulas with 
few occurrences per variable},
 url = {https://www.ac.tuwien.ac.at/files/pub/HoorySzeider06.pdf},
 volume = {20},
 year = {2006}
}