Strong NP-completeness results: Motivation, examples, and implications (1978)

by M R Garey, D S Johnson
Venue:J. ACM