Polynomial-time Turing reduction