TY - RPRT TI - Case Study of the Proof of Cook's theorem - Interpretation of A(w) AU - Yu Li PY - 2019 UR - https://arxiv.org/abs/1904.13191 ID - 1904.13191 ER -