Klaus Ambos-Spies Levke Bentzien Separating NP-Completeness Notions under Strong Hypotheses. 121-127 http://www.computer.org/proceedings/ccc/7907/79070121abs.htm 1997 IEEE Conference on Computational Complexity db/conf/coco/coco97.html#Ambos-SpiesB97