Separating NP-completeness notions under strong hypotheses - Ambos-Spies, Klaus; Bentzien, Levke (Proceedings, 1997)