@misc{indiciae5888286f520d,
  title = {Type 4 is not computable},
  author = {Japheth Wood},
  year = {1996},
  url = {https://arxiv.org/abs/math/9611224},
  note = {Source identifier: math/9611224}
}