NP-completeness notions under strong hypotheses - Bentzien, Levke (2000)
Heidelberg, Univ., Diss., 2000