TY  - RPRT
TI  - The Cook-Reckhow definition
AU  - Jan Krajicek
PY  - 2019
DO  - 10.1145/3588287.3588
UR  - https://arxiv.org/abs/1909.03691
ID  - 1909.03691
ER  -