Reducibility among combinatorial problems. In Complexity of Computer Computations (1972)

by R Karp