%0 Conference Paper %D 1994 %T Cook versus Karp Levin Separating Completeness Notions If NP Is Not Small %A J.H. Lutz %A E. Mayordomo %I Springer Lecture Notes in Computer Science %P 415-426 %V 775