Cook versus Karp-Levin: Separating completeness notions if NP is not small | Publicación