"On Truth-Table Reducibility to SAT"

Samuel R. Buss, Louise Hay (1991)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics