Luc Longpré Paul Young Cook Reducibility is Faster than Karp Reduciblity in NP. 389-401 1990 41 J. Comput. Syst. Sci. 3 db/journals/jcss/jcss41.html#LongpreY90 http://dx.doi.org/10.1016/0022-0000(90)90026-H