@article{cj99-08,
       author={Jeff Erickson},
       title={Lower Bounds for Linear Satisfiability Problems},
       journal={Chicago Journal of Theoretical Computer Science},
       volume={1999},
       number={8},
       publisher={MIT Press},
       month={August},
       year={1999}
}