Turing reduction
Logarithmic-space Turing reduction