The difference and truth-table hierarchies for NP - Köbler, Johannes; Schöning, Uwe 1955-; Wagner, Klaus W. (Fachberichte Informatik, 1986)