TY  - RPRT
TI  - Inquiry of P-reduction in Cook's 1971 Paper -- from Oracle machine to Turing machine
AU  - JianMing Zhou
AU  - Yu Li
PY  - 2019
UR  - https://arxiv.org/abs/1905.06311
ID  - 1905.06311
ER  -