TY  - RPRT
TI  - Strong Jump Inversion
AU  - W. Calvert
AU  - A. Frolov
AU  - V. Harizanov
AU  - J. Knight
AU  - C. McCoy
AU  - A. Soskova
AU  - S. Vatev
PY  - 2018
DO  - 10.1093/logcom/exy025
UR  - https://arxiv.org/abs/1808.07124
ID  - 1808.07124
ER  -