@article{cj99-11,
       author={Ramamohan Paturi, Pavel Pudlak, and Francis Zane},
       title={Satisfiability Coding Lemma}
       journal={Chicago Journal of Theoretical Computer Science},
       volume={1999},
       number={115},
       publisher={MIT Press},
       month={December},
       year={1999}