TY  - RPRT
TI  - Type 4 is not computable
AU  - Japheth Wood
PY  - 1996
UR  - https://arxiv.org/abs/math/9611224
ID  - math/9611224
ER  -