Bentzien, Levke (2000) NP-completeness notions under strong hypotheses. [Dissertation]