@inproceedings {LutMayCVKLb, title = {Cook versus Karp Levin Separating Completeness Notions If NP Is Not Small}, volume = {775}, year = {1994}, pages = {415-426}, publisher = {Springer Lecture Notes in Computer Science}, organization = {Springer Lecture Notes in Computer Science}, author = {J.H. Lutz and E. Mayordomo} }