Cook versus Karp-Levin: Separating completeness notions if NP is not small (1996)

by J H Lutz, E Mayordomo
Venue:Theoretical Computer Science