Cook reducibility is faster than Karp reducibility in NP
scientific article; zbMATH DE number 4178764
scientific article