TY  - RPRT
TI  - Small Jump with Negation-UTM Trampoline
AU  - Koji Kobayashi
PY  - 2014
UR  - https://arxiv.org/abs/1112.0987
ID  - 1112.0987
ER  -