The difference and truth-table hierarchies for NP Johannes Köbler, Uwe Schöning and Klaus W. Wagner RAIRO-Theor. Inf. Appl., 21 4 (1987) 419-435 Published online: 01 February 2017 DOI: 10.1051/ita/1987210404191