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]
@inproceedings{BussH88, title = {On truth-table reducibility to SAT and the difference hierarchy over NP}, author = {Samuel R. Buss and Louise Hay}, year = {1988}, doi = {10.1109/SCT.1988.5282}, url = {http://dx.doi.org/10.1109/SCT.1988.5282}, researchr = {https://researchr.org/publication/BussH88}, cites = {0}, citedby = {0}, pages = {224-233}, booktitle = {Proceedings: Third Annual Structure in Complexity Theory Conference, Georgetown University, Washington, D. C., USA, June 14-17, 1988}, publisher = {IEEE Computer Society}, isbn = {0-8186-0794-7}, }