Hughes, et al.. The Many-one Equivalence of Some General Combinatorial Decision Problems. American Mathematical Society (AMS), May 1971, doi:10.1090/s0002-9904-1971-12742-8.