Samuel R. Buss, Louise Hay. On truth-table reducibility to SAT and the difference hierarchy over NP. In Proceedings: Third Annual Structure in Complexity Theory Conference, Georgetown University, Washington, D. C., USA, June 14-17, 1988. pages 224-233, IEEE Computer Society, 1988. [doi]
Abstract is missing.