@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}
}

