The difference and truth-table hierarchies for NP Johannes Köbler; Uwe Schöning; Klaus W. Wagner — 1987 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications