@misc{indiciae9d9c4f00589f,
  title = {Inquiry of P-reduction in Cook's 1971 Paper -- from Oracle machine to Turing machine},
  author = {JianMing Zhou and Yu Li},
  year = {2019},
  url = {https://arxiv.org/abs/1905.06311},
  note = {Source identifier: 1905.06311}
}